Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: M

Number of items: 1.

M

Myreen, Magnus O. and Owens, Scott (2012) Proof-Producing Synthesis of ML from Higher-Order Logic. In: Proceedings of the 17th ACM SIGPLAN international conference on Functional programming. ACM, New York, USA, pp. 115-126. ISBN 978-1-4503-1054-3. (doi:10.1145/2364527.2364545) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:31890)

This list was generated on Fri Apr 19 23:43:40 2024 BST.