✳flâneur — a map of the web's best reading

Semantic Domain: The Geometry of Interaction, as an OCaml program

semantic-domain.blogspot.com · 4,012 words · saved by 1 readers

In this post, I'll show how to turn the Geometry of Interaction construction --- a model of linear logic --- into a runnable Ocaml code...

Semantic Domain: The Geometry of Interaction, as an OCaml program Wednesday, November 28, 2012 The Geometry of Interaction, as an OCaml program In this post, I'll show how to turn the Geometry of Interaction construction --- a model of linear logic --- into a runnable Ocaml code. . The basic idea behind this paper is that we can view higher-order behavior, as a disciplined mode of use of a first-order language with recursion --- basically, if you fix a calling convention, then you can compile first-class functions directly and compositionally into a first-order program. This is interesting bec

Explore this link on the map →

saved by

related reading