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.