<--- Back to Details
First PageDocument Content
Type theory / Functional languages / Logic in computer science / Lambda calculus / Dependent ML / Peter B. Andrews / International Conference on Functional Programming / Dependent type / ATS / Software engineering / Programming language theory / Computing
Date: 2010-02-25 19:00:37
Type theory
Functional languages
Logic in computer science
Lambda calculus
Dependent ML
Peter B. Andrews
International Conference on Functional Programming
Dependent type
ATS
Software engineering
Programming language theory
Computing

Hongwei Xi Curriculum Vitæ February 25, 2010

Add to Reading List

Source URL: www.cs.bu.edu

Download Document from Source Website

File Size: 90,64 KB

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

Software engineering / Computing / Type theory / Computer programming / Object-oriented programming / Data types / Polymorphism / Functional programming / Subtyping / Covariance and contravariance / Natural deduction / Bottom type

Type Soundness for Dependent Object Types (DOT) * Complete We sis

DocID: 1xUdC - View Document

Computing / Software engineering / Computer programming / Type theory / Data types / Functional languages / Subroutines / Scala / Recursive data type / Recursion / Type system

Type Soundness for DOT (Dependent Object Types) Tiark Rompf Nada Amin

DocID: 1xTuC - View Document

Syntax for dependent type theories Nicola Gambino Leeds, February 20th, 2013 First-order theories vs dependent type theories (I)

DocID: 1v5Yu - View Document

Collection Principles in Dependent Type Theory? Peter Aczel1 and Nicola Gambino2 1 Departments of Mathematics and Computer Science, University of Manchester,

DocID: 1uXqs - View Document