Particle-Style Geometry of Interaction as a Module System
No abstract available.
Related papers
- Memoryful geometry of interaction II: recursion and adequacy POPL 2016
- The geometry of parallelism: classical, probabilistic, and quantum effects POPL 2017
- Geometry of synthesis iv: compiling affine recursion into static hardware ICFP 2011
- The Geometry of Interaction Machine POPL 1995
- The Geometry of Optimal Lambda Reduction POPL 1992
- Flow Analysis in the Geometry of Interaction ESOP 1996
- A type system for recursive modules ICFP 2007
- Experience report: growing and shrinking polygons for random testing of computational geometry algorithms ICFP 2016