<--- Back to Details
First PageDocument Content
Type theory / Data types / Functional languages / Object-oriented programming / Bluespec / Inc. / Haskell / Type system / Lennart Augustsson / ML / Software engineering / Computing / Programming language theory
Date: 2003-01-22 15:24:53
Type theory
Data types
Functional languages
Object-oriented programming
Bluespec
Inc.
Haskell
Type system
Lennart Augustsson
ML
Software engineering
Computing
Programming language theory

Add to Reading List

Source URL: csg.csail.mit.edu

Download Document from Source Website

File Size: 76,53 KB

Share Document on Facebook

Similar Documents

CONFIDENTIAL Experience Report: Paradise A two-stage DSL embedded in Haskell Lennart Augustsson

DocID: 1sYwv - View Document

Functional languages / Theoretical computer science / Technology / Bluespec / Inc. / Arvind / Atom / Lennart Augustsson / Formal methods / James Hoe / Computing / Year of birth missing / Software engineering

Why formal verification remains on the fringes of commercial development Arvind Computer Science & Artificial Intelligence Laboratory Massachusetts Institute of Technology

DocID: 18KAo - View Document

Type theory / Data types / Functional languages / Object-oriented programming / Bluespec / Inc. / Haskell / Type system / Lennart Augustsson / ML / Software engineering / Computing / Programming language theory

PDF Document

DocID: XiE - View Document