Back to Results
First PageMeta Content
Functional programming / Type theory / Data types / Recursion / Category theory / System F / F-algebra / Algebraic data type / Fold / Software engineering / Computer programming / Computing


MiniAgda: Integrating Sized and Dependent Types Andreas Abel∗ Department of Computer Science Ludwig-Maximilians-University Munich Abstract Sized types are a modular and theoretically well-understood tool for checking t
Add to Reading List

Document Date: 2010-05-11 12:12:37

Open Document

File Size: 216,00 KB

Share Result on Facebook

City

Termination Type / Paris / /

IndustryTerm

systematic solution / well-understood tool / mature systems / /

Movie

D. 2 / /

NaturalFeature

Two streams / aka stream / /

Organization

Size / Sized and Dependent Types Andreas Abel∗ Department of Computer Science Ludwig-Maximilians-University Munich Abstract Sized / International Criminal Court / /

Person

Nat / Karl Mehltretter / /

Position

author / fun head / invited researcher / guard / /

SocialTag