Back to Results
First PageMeta Content
Elementary mathematics / Functional languages / Procedural programming languages / Higher-order functions / Fold / Recursion / ML / Sequence / Function / Software engineering / Computer programming / Computing


ABSTRACT INTERPRETATION USING LAZINESS: PROVING CONWAY’S LOST COSMOLOGICAL THEOREM KEVIN WATKINS
Add to Reading List

Document Date: 2007-09-14 13:01:55

Open Document

File Size: 201,49 KB

Share Result on Facebook

IndustryTerm

computing / type systems / /

Person

Andres Loeh / Ralf Hinze / KEVIN WATKINS / /

Position

author / head / Haskell interpreter / interpreter / /

ProgrammingLanguage

Haskell / ML / C / /

Technology

functional programming / simulation / /

SocialTag