- document
-
Mihălăchiuţă, Radu (author)This paper investigates the viability of using scope graphs to implement type checkers for programming languages, specifically for a Scala subset. The primary objective is to determine if scope graphs can offer a declarative and extensible approach to type checking. To achieve this, we used a phased Haskell library to implement such a type...bachelor thesis 2023
- document
-
Chaliasos, Stefanos (author), Sotiropoulos, Thodoris (author), Drosos, Georgios Petros (author), Mitropoulos, Charalambos (author), Mitropoulos, Dimitris (author), Spinellis, D. (author)Despite the substantial progress in compiler testing, research endeavors have mainly focused on detecting compiler crashes and subtle miscompilations caused by bugs in the implementation of compiler optimizations. Surprisingly, this growing body of work neglects other compiler components, most notably the front-end. In statically-typed...journal article 2021
- document
-
Giarrusso, P.G. (author), Stefanesco, Leo (author), Timany, Amin (author), Birkedal, Lars (author), Krebbers, R.J. (author)The metatheory of Scala's core type system - the Dependent Object Types (DOT) calculus - is hard to extend, like the metatheory of other type systems combining subtyping and dependent types. Soundness of important Scala features therefore remains an open problem in theory and in practice. To address some of these problems, we use a semantics...journal article 2020
- document
-
Kuijpers, Jos (author), Quist, Joris (author), Zorgdrager, Wouter (author)CodeFeedr is a research project at the software engineering division of the Delft University of Technology in collaboration with the Software Improvement Group. The research focuses on a software infrastructure which serves software practitioners in utilizing data-driven decision making. Currently, frameworks like Apache Flink are capable of...bachelor thesis 2018
- document
-
Van Der Lippe, Tim (author), Smith, Thomas (author), Pelsmaeker, Daniël (author), Visser, Eelco (author)In this paper, we report on our experience in teaching a course on concepts of programming languages at TU Delft based on Krishnamurthi's PAPL book with the definitional interpreter approach using Scala as meta-language and using the WebLab learning management system. In particular, we discuss our experience with encoding of definitional...conference paper 2016
- document
-
Rouvoet, A.J. (author)Implicit resolution has been part of the Scala language for a while, but the formal system it constitutes and its properties have not been formalized. Oliveira et al. were the first to formalize a calculus of implicits λ⇒ based on the ideas of implicits in Scala. We propose a stronger calculus λS⇒ , extending their results and closing the gap...master thesis 2016
- document
-
Denkers, J. (author), Glerum, W.J. (author)Transport Tender is a consultancy company advising clients how to plan their logistic activities. Its focus is on road freight transport within Europe. In processes called tenders, the actual prices of new potential carriers are calculated for the shipments of the client of e.g. the last one or two years. Based on these prices, different sets of...bachelor thesis 2015