Searching for "A Simple Applicative Language Mini-ML." – sorted by Relevance.
-
Semantic and Logical Properties of Stateful Programming
- , Joelle Despeyroux, Thierry Despeyroux, and Gilles Kahn. A simple applicative language: Mini-ML
- Cited by 6 (2 self) – Add To MetaCart

