<--- Back to Details
First PageDocument Content
Programming language theory / Data types / Functional programming / Type system / Polymorphism / Denotational semantics / Hindley–Milner / Type variable / Unification / Software engineering / Type theory / Computing
Date: 2013-01-02 17:11:04
Programming language theory
Data types
Functional programming
Type system
Polymorphism
Denotational semantics
Hindley–Milner
Type variable
Unification
Software engineering
Type theory
Computing

JOURNAL OF COMPUTER AND SYSTEM SCIENCES

Add to Reading List

Source URL: courses.engr.illinois.edu

Download Document from Source Website

File Size: 1,61 MB

Share Document on Facebook

Similar Documents

Proof theory / General relativity / Complex analysis / Holomorphic functional calculus

Dependent Object Types Towards a foundation for Scala’s type system Nada Amin Adriaan Moors

DocID: 1xVKz - View Document

The Academic Failure with Alloy Alloy Amazing Type System

DocID: 1xV4R - View Document

A Type System for Privacy Properties

DocID: 1xTOq - View Document

Type theory / Software engineering / Programming language theory / Computing / Type system / Unification / HindleyMilner type system / Standard ML / System F / ML / Type inference / Generics in Java

A Verified Type System for CakeML Yong Kiam Tan Scott Owens IHPC, A*STAR

DocID: 1xTwi - View Document

Technical Report no. 2007:1 Integration of a Security Type System into a Program Logic Reiner H¨ahnle, Jing Pan, Philipp R¨ummer, Dennis Walter

DocID: 1vrAi - View Document