Mads Tofte, et al.  Home/Search
Context Related
| diku.dk/research/techrepo...9712.ps.gz diku.dk/researchg...diku9712.a4.ps.gz cmu.edu/afs/cs/use...diku9712.a4.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: diku.dk/research/techrep...blaa97 (more) From: cs.ukc.ac.uk/people/staf...gcbibT (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Machine Kit Abstract Machine, 29, 167 kit architecture, 168 kitdemo directory, 42 Lambda, 30, 35, 165 lambda abstraction, 117, 118 Lambda optimiser, 30 Layout, 167 leaving the Kit, 163 length of list, 105 let, 64 let floating, 68 letregion, 28, 38, 39, 65, 91, 98 Lf, 83 life, 22 Life, game of, 19 lifetime, 64--67 list, 47 live variable analysis, see variable ln, 44 local, 64, 101 .log, 143 log directory, 168 log file, 42, 165 makeCONS, 181 makeCONSProf, 182 makeNIL, 181... (Update)
Cited by: More
The Logical Approach to Stack Typing - Ahmed, Walker (2003) (Correct)
Reasoning about Hierarchical Storage - Amal Ahmed Limin (2003) (Correct)
Linear Regions Are All You Need - Fluet, Morrisett, Ahmed (Correct)
Similar documents (at the sentence level):
32.2%: Programming with Regions in the ML Kit - Tofte, al. (1998) (Correct)
22.5%: Global Regions - Holds Values Of (Correct)
Similar documents based on text: More All
0.2: Trustworthy Tools for Trustworthy Programs: A Verified.. - Homeier, Martin (1994) (Correct)
0.1: Trustworthy Tools for Trustworthy Programs: Automatic.. - Homeier, al. (Correct)
0.1: Computationally Feasible VCG Mechanisms - Nisan, Ronen (2000) (Correct)
Related documents from co-citation: More All
37: Region-based memory management - Tofte, Talpin - 1997
18: Typed memory management in a calculus of capabilities - Crary, Walker et al. - 1999
18: From region inference to von Neumann machines via region representation inferenc.. - Birkedal, Tofte et al. - 1996
BibTeX entry: (Update)
M. Tofte, L. Birkedal, M. Elsman, N. Hallenberg, T.H. Olesen, P. Sestoft, and P. Bertelsen. Programming with regions in the ML kit. Technical Report 97/12, Univ. of Copenhagen, 1997. http://citeseer.ist.psu.edu/tofte97programming.html More
@techreport{ tofte97programming,
author = "Mads Tofte and Lars Birkedal and Martin Elsman and Niels Hallenberg and Tommy H{\o}jfeld Olesen and Peter Sestoft and Peter Bertelsen",
title = "Programming with {R}egions in the {ML} {K}it",
number = "DIKU-TR-97/12",
year = "1997",
url = "citeseer.ist.psu.edu/tofte97programming.html" }
Citations not processed or no citations identified.
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.diku.dk/research/techreports/blaa97.html): More
Experiments With the Auction Algorithm for the Shortest Path.. - Larsen, Pedersen (1997) (Correct)
Local Analysis of Scale Space - Johansen (1996) (Correct)
Scale-Space has been discovered in Japan - Weickert, al. (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC