<--- Back to Details
First PageDocument Content
Functional languages / Type theory / Haskell / Functional programming / Type system / Lazy evaluation / Type inference / Pure / Strong typing / Software engineering / Programming language theory / Computing
Date: 2014-10-06 15:51:37
Functional languages
Type theory
Haskell
Functional programming
Type system
Lazy evaluation
Type inference
Pure
Strong typing
Software engineering
Programming language theory
Computing

A Haskell Roadshow Joachim Breitner January 20th 2011 Features

Add to Reading List

Source URL: www.joachim-breitner.de

Download Document from Source Website

File Size: 231,96 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

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