48 citations · 174 across the 34 of their papers we have counts for
Showing 2015 · cs.PLShow all
2 papers · 2 filters
cs.PL2015★ 7 cited
Normalisation by Traversals
C. -H. Luke Ong
We present a novel method of computing the beta-normal eta-long form of a simply-typed lambda-term by constructing traversals over a variant abstract syntax tree of the term. In co…
cs.PL2015★ 2 cited
Fragments of ML Decidable by Nested Data Class Memory Automata
Conrad Cotton-Barratt, David Hopkins, Andrzej S. Murawski +1
The call-by-value language RML may be viewed as a canonical restriction of Standard ML to ground-type references, augmented by a "bad variable" construct in the sense of Reynolds.…