research
∙
10/21/2019
Transparent Synchronous Dataflow
There are several functional approaches to dataflow programming, produce...
share
research
∙
07/02/2019
Local Reasoning for Robust Observational Equivalence
We propose a new core calculus for programming languages with effects, i...
research
∙
02/28/2018
The Dynamic Geometry of Interaction Machine: A Token-Guided Graph Rewriter
In implementing evaluation strategies of the lambda-calculus, both corre...
research
∙
02/19/2018
Efficient Implementation of Evaluation Strategies via Token-Guided Graph Rewriting
In implementing evaluation strategies of the lambda-calculus, both corre...
research
∙
10/11/2017