{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:10:06Z","timestamp":1750306206024,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,10,30]],"date-time":"2016-10-30T00:00:00Z","timestamp":1477785600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,10,30]]},"DOI":"10.1145\/2998392.2998402","type":"proceedings-article","created":{"date-parts":[[2016,10,21]],"date-time":"2016-10-21T14:16:42Z","timestamp":1477059402000},"page":"65-74","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["A scalable infrastructure for teaching concepts of programming languages in Scala with WebLab: an experience report"],"prefix":"10.1145","author":[{"given":"Tim van der","family":"Lippe","sequence":"first","affiliation":[{"name":"Delft University of Technology, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Smith","sequence":"additional","affiliation":[{"name":"Delft University of Technology, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dani\u00ebl","family":"Pelsmaeker","sequence":"additional","affiliation":[{"name":"Delft University of Technology, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eelco","family":"Visser","sequence":"additional","affiliation":[{"name":"Delft University of Technology, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,10,30]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1029994.1029995"},{"key":"e_1_3_2_1_2_1","volume-title":"Programming languages - an interpreter-based approach","author":"Kamin S. N.","year":"1990","unstructured":"S. N. Kamin . Programming languages - an interpreter-based approach . Addison-Wesley , 1990 . S. N. Kamin. Programming languages - an interpreter-based approach. Addison-Wesley, 1990."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384592.2384603"},{"key":"e_1_3_2_1_4_1","volume-title":"Programming Languages: Application and Interpretation","author":"Krishnamurthi S.","year":"2007","unstructured":"S. Krishnamurthi . Programming Languages: Application and Interpretation . Brown University , 2007 . S. Krishnamurthi. Programming Languages: Application and Interpretation. Brown University, 2007."},{"key":"e_1_3_2_1_5_1","volume-title":"Programming and Programming Languages","author":"Krishnamurthi S.","year":"2015","unstructured":"S. Krishnamurthi and J. G. Politz . Programming and Programming Languages . Brown University , 2015 . S. Krishnamurthi and J. G. Politz. Programming and Programming Languages. Brown University, 2015."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2591062.2591161"},{"key":"e_1_3_2_1_7_1","volume-title":"Semantics with applications - a formal introduction","author":"Nielson H. R.","year":"1992","unstructured":"H. R. Nielson and F. Nielson . Semantics with applications - a formal introduction . Wiley professional computing. Wiley , 1992 . H. R. Nielson and F. Nielson. Semantics with applications - a formal introduction. Wiley professional computing. Wiley, 1992."},{"key":"e_1_3_2_1_8_1","volume-title":"Artima","author":"Odersky M.","year":"2008","unstructured":"M. Odersky , L. Spoon , and B. Venners . Programming in Scala. A comprehensive step-by-step guide . Artima , November 2008 . M. Odersky, L. Spoon, and B. Venners. Programming in Scala. A comprehensive step-by-step guide. Artima, November 2008."},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the Twelth InternationalWorkshop on Foundations of Object-Oriented Languages (FOOL 12)","author":"Odersky M.","year":"2005","unstructured":"M. Odersky and M. Zenger . Independently extensible solutions to the expression problem . In Proceedings of the Twelth InternationalWorkshop on Foundations of Object-Oriented Languages (FOOL 12) , 2005 . M. Odersky and M. Zenger. Independently extensible solutions to the expression problem. In Proceedings of the Twelth InternationalWorkshop on Foundations of Object-Oriented Languages (FOOL 12), 2005."},{"key":"e_1_3_2_1_10_1","volume-title":"Software Foundations","author":"Pierce B. C.","year":"2015","unstructured":"B. C. Pierce , A. A. de Amorim , C. Casinghino , M. Gaboardi , M. Greenberg , C. Hri\u00b8tcu , V. Sj\u00f6berg , B. Yorgey , B. C. Pierce , A. A. de Amorim , C. Casinghino , M. Gaboardi , M. Greenberg , C. Hri\u00b8tcu , V. Sj\u00f6berg , and B. Yorgey . Software Foundations . 2015 . B. C. Pierce, A. A. de Amorim, C. Casinghino, M. Gaboardi, M. Greenberg, C. Hri\u00b8tcu, V. Sj\u00f6berg, B. Yorgey, B. C. Pierce, A. A. de Amorim, C. Casinghino, M. Gaboardi, M. Greenberg, C. Hri\u00b8tcu, V. Sj\u00f6berg, and B. Yorgey. Software Foundations. 2015."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010027404223"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010075320153"},{"key":"e_1_3_2_1_13_1","volume-title":"Programming languages - concepts and constructs","author":"Sethi R.","year":"1988","unstructured":"R. Sethi . Programming languages - concepts and constructs . Addison-Wesley , 1988 . R. Sethi. Programming languages - concepts and constructs. Addison-Wesley, 1988."},{"key":"e_1_3_2_1_14_1","unstructured":"B. Venners. Scalatest 2009.  B. Venners. Scalatest 2009."},{"key":"e_1_3_2_1_15_1","volume-title":"LabBack: An extendible platform for secure and robust in-the-cloud automatic assessment of student programs. Master\u2019s thesis","author":"Vergu V.","year":"2012","unstructured":"V. Vergu . LabBack: An extendible platform for secure and robust in-the-cloud automatic assessment of student programs. Master\u2019s thesis , Delft University of Technology , November 2012 . V. Vergu. LabBack: An extendible platform for secure and robust in-the-cloud automatic assessment of student programs. Master\u2019s thesis, Delft University of Technology, November 2012."},{"key":"e_1_3_2_1_16_1","volume-title":"The expression problem. Java-genericity mailing list","author":"Wadler P.","year":"1998","unstructured":"P. Wadler . The expression problem. Java-genericity mailing list , 1998 . P. Wadler. The expression problem. Java-genericity mailing list, 1998."},{"key":"e_1_3_2_1_17_1","volume-title":"Programming language design concepts","author":"Watt D. A.","year":"2004","unstructured":"D. A. Watt and W. Findlay . Programming language design concepts . Wiley , 2004 . D. A. Watt and W. Findlay. Programming language design concepts. Wiley, 2004."},{"key":"e_1_3_2_1_18_1","unstructured":"Introduction Definitional Interpreters in Scala Course Organization WebLab Testing Interpreters Test Generation Testing Tests Product Line Conclusion  Introduction Definitional Interpreters in Scala Course Organization WebLab Testing Interpreters Test Generation Testing Tests Product Line Conclusion"}],"event":{"name":"SPLASH '16: Conference on Systems, Programming, Languages, and Applications: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGAda ACM Special Interest Group on Ada Programming Language"],"location":"Amsterdam Netherlands","acronym":"SPLASH '16"},"container-title":["Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2998392.2998402","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2998392.2998402","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:50:34Z","timestamp":1750218634000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2998392.2998402"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10,30]]},"references-count":18,"alternative-id":["10.1145\/2998392.2998402","10.1145\/2998392"],"URL":"https:\/\/doi.org\/10.1145\/2998392.2998402","relation":{},"subject":[],"published":{"date-parts":[[2016,10,30]]},"assertion":[{"value":"2016-10-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}