Back to Results
First PageMeta Content
Type theory / Data types / Functional languages / Formal methods / Theoretical computer science / Dependent type / Lambda calculus / Type system / Generalized algebraic data type / Programming language theory / Software engineering / Computing


Dependent Types: Easy as P IE Work-In-Progress Project Description Dimitrios Vytiniotis and Stephanie Weirich University of Pennsylvania Abstract
Add to Reading List

Document Date: 2014-07-10 05:47:26

Open Document

File Size: 155,84 KB

Share Result on Facebook

City

Terminating / /

IndustryTerm

dependent type systems / type systems / static type systems / effect-type systems / precise type systems / /

Organization

IE Work-In-Progress Project Description Dimitrios Vytiniotis and Stephanie Weirich University of Pennsylvania Abstract Dependent / /

Person

Nat / Haskell / Coq / P IE / /

Position

scope-safe evaluator / Booleans evaluator / proof assistant / scope-safe evaluator for the λ-calculus / evaluator / Harper / current head / interpreter / programmer / General / /

ProgrammingLanguage

ML / /

Technology

functional programming / /

SocialTag