3 papers
cs.PL2026
Cyclic Graphs and Memoization in Pure -Calculus
Bo Yang
Purely functional programming makes immutability and non-strict evaluation its defaults; we push further, making interning and memoization the defaults of computation. In prior ope…
cs.PL2026
A Calculus of Inheritance
Bo Yang
Just as the -calculus uses three primitives (abstraction, application, variable) as the foundation of functional programming, inheritance-calculus uses three primitives (mixin,…
cs.PL2023
Ad-hoc polymorphic delimited continuations
Bo Yang
We designed and implemented a framework for creating extensible domain-specific languages that consists of library-defined keywords. First-class language features in other programm…