What is PL research?
Date: Wed, September 25, 2019
Room: COLLOQUIUMZAAL 0.E420
An overview of research problems and methods in programming languages research.
Jorge A. Pérez | Session Types and Higher-Order Concurrency
Next: Taico Aerts | Incrementalizing Statix - A Modular and Incremental Approach for Type Checking and Name Binding using Scope Graphs