Skip to content

Latest commit

 

History

History
14 lines (9 loc) · 582 Bytes

README.md

File metadata and controls

14 lines (9 loc) · 582 Bytes
Raw

Supplementary material for "Incremental λ-Calculus in Cache-Transfer Style"

The supplementary material contains three parts:

  • The formalized Coq proof, with pre-built documentation. Start by browsing the online documentation and/or suppl-material/coqproof/Overview.v.

    The formalization was last tested with Coq 8.8.1 and 8.8.2 and the Equations plugin version 1.1.

  • The evaluation case studies and benchmarks, including raw data. Start at casestudy/README.md.

  • the extended version of the paper.