Items where Author / Artist / Editor is "Smallbone, Nicholas"

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 2.

Article

Blanchette, Jasmin, Böhme, Sascha, Popescu, Andrei and Smallbone, Nicholas (2017) Encoding monomorphic and polymorphic types. Logical Methods in Computer Science, 12 (4) . ISSN 1860-5974 (doi:10.2168/LMCS-12(4:13)2016)

Conference or Workshop Item

Blanchette, Jasmin Christian, Böhme, Sascha, Popescu, Andrei and Smallbone, Nicholas (2013) Encoding monomorphic and polymorphic types. Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. In: 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 16-24 Mar 2013, Rome. ISBN 9783642367410. ISSN 0302-9743

This list was generated on Sat Sep 26 05:13:01 2020 BST.