FinFun Dependents

2020

A Formal Model of Extended Finite State Machines

by Michael Foster, Achim D. Brucker, Ramsay G. Taylor and John Derrick

Sep 07

2013

Nominal 2

by Christian Urban, Stefan Berghofer and Cezary Kaliszyk

Feb 21

The Correctness of Launchbury's Natural Semantics for Lazy Evaluation

by Joachim Breitner

Jan 31

2007

Jinja with Threads

by Andreas Lochbihler

Dec 03