Back to Results
First PageMeta Content
Functional programming / Mathematical logic / Theoretical computer science / Function / Corecursion / Coinduction / F-coalgebra / Anamorphism / Universal quantification / Category theory / Mathematics / Declarative programming


Let’s see how things unfold: reconciling the infinite with the intensional (extended abstract)
Add to Reading List

Document Date: 2009-05-23 04:50:00

Open Document

File Size: 162,58 KB

Share Result on Facebook

Facility

Conor McBride University of Strathclyde / /

IndustryTerm

machinery / then computing outF / appropriate computational and logical machinery / basic machinery / successive applications / dependent case analysis operator / /

Organization

University of Strathclyde / /

Person

Anton Setzer / Nicolas Oury / Tatsuya Hagino / /

Position

total programmer / programmer / /

ProgrammingLanguage

Haskell / /

Technology

Functional Programming / /

SocialTag