Back to Results
First PageMeta Content
Models of computation / Type theory / Symbol / Dynamical system / Lambda calculus / Type safety / Programming Computable Functions / Normalisation by evaluation / Theoretical computer science / Computer science / Software engineering


Gradual Typing for Functional Languages Jeremy G. Siek Walid Taha University of Colorado
Add to Reading List

Document Date: 2012-08-10 19:25:37

Open Document

File Size: 301,30 KB

Share Result on Facebook

Company

Visual Basic.NET / /

Currency

pence / /

/

Facility

Functional Languages Jeremy G. Siek Walid Taha University / /

IndustryTerm

type systems / dynamic type systems / /

Organization

University of Colorado / GA PP / Scheme and Functional Programming Workshop University of Chicago Technical Report TR-2006-06 / Rice University / CA PP / EA PP / /

Person

Thatte / Jeremy G. Siek Walid / /

Position

Type structure General / interpreter / Isabelle proof assistant / programmer / /

ProgrammingLanguage

V / Dylan / Common LISP / Visual Basic.NET / Java / Bigloo / L / /

RadioStation

EL AM / GL AM / TL AM / CL AM / QL AM / /

Technology

Functional Programming / dom / Java / /

SocialTag