research
∙
08/20/2018
Fungi: Typed incremental computation with names
Incremental computations attempt to exploit input similarities over time...
share
research
∙
03/17/2018
Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms
Scripting proofs with tactics has been a tradition in interactive theore...
research
∙
03/17/2018
