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: | Incrementalizing Statix: A Modular and Incremental Approach for Type Checking and Name Binding using Scope Graphs