Back to Results
First PageMeta Content
Type theory / Functional languages / Lambda calculus / Logic in computer science / Theory of computation / Agda / Intuitionistic type theory / Dependent type / Typed lambda calculus / Software engineering / Programming language theory / Theoretical computer science


Dependent Types at Work Ana Bove and Peter Dybjer Chalmers University of Technology, G¨
Add to Reading List

Document Date: 2013-09-04 09:56:00

Open Document

File Size: 245,96 KB

Share Result on Facebook

Country

France / /

/

Facility

Peter Dybjer Chalmers University of Technology / /

IndustryTerm

type inference algorithm / present type-checking algorithm / computer systems / type systems / pure type systems / binary search trees / /

Movie

From now on / /

Organization

Chalmers University of Technology / Cornell / /

Person

Nat / Peter Dybjer / Ana Bove / /

Position

proof assistant / Constable / /

ProgrammingLanguage

Haskell / R / ML / K / FORTRAN / /

Technology

functional programming / present type-checking algorithm / typechecking algorithm / Hindley-Milner type inference algorithm / ASCII / /

SocialTag