<--- Back to Details
First PageDocument Content
Programming language theory / Declarative programming / Functional programming / Kind / Type class / Polymorphism / System F / Type system / Generic programming / Type theory / Software engineering / Data types
Date: 2011-10-11 08:21:50
Programming language theory
Declarative programming
Functional programming
Kind
Type class
Polymorphism
System F
Type system
Generic programming
Type theory
Software engineering
Data types

Add to Reading List

Source URL: research.microsoft.com

Download Document from Source Website

File Size: 261,08 KB

Share Document on Facebook

Similar Documents

Software engineering / Declarative programming / Computing / Functional programming / Programming paradigms / Evaluation strategy / Functional reactive programming / Digital signal processing / Formal methods / Arrow / International Conference on Functional Programming / Signal

Declarative Game Programming Distilled Tutorial Henrik Nilsson Ivan Perez

DocID: 1xVd0 - View Document

Declarative and Logic Programming Mooly Sagiv Adapted from Peter Hawkins Jeff Ullman (Stanford) Why declarative programming

DocID: 1t69T - View Document

Introduction Grapefruit in detail Declarative Programming of Interactive Systems with Grapefruit Wolfgang Jeltsch

DocID: 1t583 - View Document

Chapter 14 Improving Push-based FRP Wolfgang Jeltsch1 Category: Research Abstract: Push-based implementations of Functional Reactive Programming allow for writing reactive programs in a declarative style and execute the

DocID: 1t1D0 - View Document

Declarative Dynamic Programming as an Alternative Realization of Courcelle’s Theorem Bernhard Bliem, Reinhard Pichler, and Stefan Woltran Institute of Information Systems, Vienna University of Technology {bliem, pichle

DocID: 1sWoH - View Document