Back to Results
First PageMeta Content
Computer programming / Declarative programming / Software engineering / Functional programming / Type theory / Predicate logic / Monad / Algebraic data type / Conditional / Expression / Quantifier / Standard ML


Pattern Matches in HOL: A New Representation and Improved Code Generation Thomas Tuerk1 , Magnus O. Myreen2,3 , and Ramana Kumar3 2 1
Add to Reading List

Document Date: 2016-04-20 00:13:43

Open Document

File Size: 253,55 KB

Share Result on Facebook