Back to Results
First PageMeta Content
Lambda calculus / Type theory / Data types / Functional programming / Logic in computer science / Pattern matching / Standard ML / Combinatory logic / Fixed-point combinator / Software engineering / Theoretical computer science / Computing


ZU064-05-FPR rhiger-submitted 18 August 2008
Add to Reading List

Document Date: 2008-10-17 11:56:59

Open Document

File Size: 140,13 KB

Share Result on Facebook

Country

Denmark / /

/

Facility

Morten Rhiger∗ The IT University of Copenhagen / Roskilde University / A library / /

IndustryTerm

machinery / static type systems / /

Organization

United Nations / Roskilde University / University of Copenhagen / Copenhagen / /

Person

Pcst Int / /

Position

author / present author / /

ProgrammingLanguage

Haskell / Standard ML / /

Technology

Functional Programming / Russianpeasant algorithm / /

SocialTag