Geek Repo
Github PK Tool:Github PK Tool
Scala implementation of ILC, with benchmarks
Machine-checked Agda formalization for the ILC project
Material for Static Differentiation in Cache Transfer Style
Website for Incremental Lambda Calculus