The University of Warwick Library - WebBridge
Fragments of ML decidable by nested data class memory automata
Cotton-Barratt,
Conrad.
Foundations of software science and computation structures : 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings.
no.
Volume 9034.
2015.
p.
249 -
263...
issn:
0302-9743
.
Sorry - based on the information provided, WebBridge cannot offer appropriate links.