<--- Back to Details
First PageDocument Content
Software engineering / Computer programming / Computing / Subroutines / Type theory / Lambda calculus / Theoretical computer science / Data types / Inline expansion / Mutual recursion / Recursion / Standard ML
Date: 1999-09-06 04:29:36
Software engineering
Computer programming
Computing
Subroutines
Type theory
Lambda calculus
Theoretical computer science
Data types
Inline expansion
Mutual recursion
Recursion
Standard ML

Secrets of the Glasgow Haskell Compiler inliner Simon Peyton Jones Microsoft Research Ltd, Cambridge Simon Marlow

Add to Reading List

Source URL: research.microsoft.com

Download Document from Source Website

File Size: 268,31 KB

Share Document on Facebook

Similar Documents

Systems Architecture  The Stack and Subroutines  The Stack – p. 1/9

Systems Architecture The Stack and Subroutines The Stack – p. 1/9

DocID: 1utuR - View Document

The Julia Express Bogumił Kaminski ´ January 4, 2015  Contents

The Julia Express Bogumił Kaminski ´ January 4, 2015 Contents

DocID: 1rtHJ - View Document

Professional wrestling / Computer programming / Event / Subroutines

NSS Chapter Activities Report for Chapter Activities/Events ReportFor each event, report the speaker or chapter participant name & their title), the event title and type (lecture, meeting, school visit, display,

DocID: 1rq5b - View Document

Uniqueness Typing Simplified Edsko de Vries1⋆ , Rinus Plasmeijer2 , and David M Abrahamson1 1 2  Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ie

Uniqueness Typing Simplified Edsko de Vries1⋆ , Rinus Plasmeijer2 , and David M Abrahamson1 1 2 Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ie

DocID: 1rpwd - View Document

Users’ manual for the Sollya tool Release 5.0 Sylvain Chevillard Christoph Lauter

Users’ manual for the Sollya tool Release 5.0 Sylvain Chevillard Christoph Lauter

DocID: 1rosb - View Document