51 citations · 113 across the 16 of their papers we have counts for
3 papers · 1 filter
Functional programming with lambda-tree syntax
Ulysse Gérard, Dale Miller, Gabriel Scherer
We present the design of a new functional programming language, MLTS, that uses the lambda-tree syntax approach to encoding bindings appearing within data structures. In this appro…
Dependent Pearl: Normalization by realizability
Pierre-Évariste Dagand, Lionel Rieg, Gabriel Scherer
For those of us who generally live in the world of syntax, semantic proof techniques such as reducibility, realizability or logical relations seem somewhat magical despite -- or pe…
Proceedings ML Family / OCaml Users and Developers workshops
Sam Lindley, Gabriel Scherer
This volume contains the joint post-proceedings of the 2017 editions of the ML Family Workshop and the OCaml Users and Developers Workshop which took place in Oxford, UK, September…