Fragments of ML Decidable by Nested Data Class Memory Automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Conrad Cotton-Barratt, David Hopkins, Andrzej S. Murawski, C.-H. Luke Ong. Fragments of ML Decidable by Nested Data Class Memory Automata. In Andrew M. Pitts, editor, 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. Volume 9034 of Lecture Notes in Computer Science, pages 249-263, Springer, 2015. [doi]

This author has not been identified. Look up 'Conrad Cotton-Barratt' in GoogleThis author has not been identified. Look up 'David Hopkins' in GoogleThis author has not been identified. Look up 'Andrzej S. Murawski' in GoogleThis author has not been identified. Look up 'C.-H. Luke Ong' in Google

runs on WebDSL