Navigating Through Digital Printing Systems: The Use of a Domain-Specific Language for Route Finding in Digital Printing Systems

Describing Inter Parameter Constraints in Web APIs Using Dependent Types

Optimising First-Class Pattern Match Compilation

Anyone Can Cloud: Democratizing Cloud Application Programming

Learning Analytics of Beginner Programming Assignments for Teachers

Performance impact of the modular architecture in the incremental SGLR parsing algorithm: Research Project TU Delft

Undoing Software Engineering: Demodularization of a SGLR Parser for Performance Gains

Compiling with Command Trees

Data-Driven Extract Method Recommendations: An Initial Study at ING

Task Observability in change driven incremental build systems with dynamic dependencies

Dependent Types for Invariants in Session Types

Testing Code Generators against Definitional Interpreters

Incremental Type Checking in IncA

Abstract Interpretation of Program Transformations using Regular Tree Grammars

AlanLight: sound, functionally correct, bounded acyclic data flow modeling

Native WebLab: Safe Execution of Native Code in WebLab