Skip to main content
Kent Academic Repository

Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping
Jump to: M
Number of items: 1.

M

Mulligan, Dominic P., Owens, Scott, Gray, Kathryn E., Ridge, Tom, Sewell, Peter (2014) Lem: reusable engineering of real-world semantics. In: ICFP’14 Proceedings of the 2014 ACM SIGPLAN International Conference on Functional Programming. Proceedings of the 2014 ACM SIGPLAN. 49 (9). pp. 175-188. ACM Press ISBN 978-1-4503-2873-9. (doi:10.1145/2628136.2628143) (KAR id:36713)
Format: PDF

This list was generated on Sat May 4 22:56:19 2024 BST.