Programming with Fudgets

Proving the correctness of reactive systems using sized types

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

A theory of core fudgets

ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming

Programming languages as operating systems (or revenge of the son of the lisp machine)

Proceedings of the fourth ACM SIGPLAN international conference on Functional programming

An Interactive Approach to Profiling Parallel Functional Programs

IFL '98 Selected Papers from the 10th International Workshop on 10th International Workshop

Forms/3: A first-order visual language to explore the boundaries of the spreadsheet paradigm

Journal of Functional Programming

A call-by-need lambda calculus with locally bottom-avoiding choice: Context lemma and correctness of transformations

Mathematical Structures in Computer Science