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
saved by
related reading
- how I think when I think about programming - alice mazalicemaz.com
- UW PLSE | Algebraic Semantics for Machine Knittinguwplse.org
- Bartosz Milewski's Programming Cafe | Category Theory, Haskell, Concurrency, C++bartoszmilewski.com
- The Most Elegant Configuration Languagechshersh.com
- 1.2. OCaml · Functional Programming in OCamlcourses.cs.cornell.edu
- The Mondrian introduction to functional opticsmarcosh.github.io
- 4. Sets and Functions - Mathematics in Lean v4.19.0 documentationleanprover-community.github.io
- Programming with Categoriesbrendanfong.com
- adventures in uncertainty: An Introduction to Recursion Schemesblog.sumtypeofway.com
- Destroy All Values: Designing Deinitialization in Programming Languages - Faultloregankra.github.io
- On Well-Founded Inductionboarders.github.io
- Eat. Sleep. Math.eatsleepmath.tumblr.com