Back to Results
First PageMeta Content
Lambda calculus / Type theory / Logic in computer science / Models of computation / Data types / Combinatory logic / Denotational semantics / Eval / Type system / Computing / Software engineering / Theoretical computer science


Interpreting types as abstract values Oleg Kiselyov (FNMOC) Chung-chieh Shan (Rutgers University) Formosan Summer School on Logic, Language, and Computation July 9–10, 2008 Abstract
Add to Reading List

Document Date: 2008-07-19 02:12:20

Open Document

File Size: 198,05 KB

Share Result on Facebook

Company

Y combinator / /

Facility

Haskell’s facility / Rutgers University / /

IndustryTerm

possible rule applications / honest solution / pretty-printing library / type reconstruction algorithm / /

Organization

Formosan Summer School on Logic / Language / and Computation / Rutgers University / /

Person

Oleg Kiselyov / John Reynolds / Girard / Bertrand Russell / Benjamin Pierce / /

Position

abstract interpreter / interpreter / /

ProgrammingLanguage

Haskell / /

Technology

DSL / type reconstruction algorithm / /

SocialTag