Showing cs.PLShow all
2 papers · 1 filter
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,…