Peter Sestoft  Home/Search
Context
Related
| dina.kvl.dk/pub/Staf...lamreduce1.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: dina.kvl.dk/~sesto...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper. (Update)
Active bibliography (related documents): More All
0.3: Hierarchical Modularity And Intermodule Optimization - Blume (1997) (Correct)
0.3: Finally an Interactive Shell - Terry, Jennings (Correct)
0.2: Harmonic Broadcasting For Video-On-Demand Service - L.juhn (1998) (Correct)
Similar documents based on text: More All
0.8: Demonstrating Lambda Calculus Reduction - Sestoft (2001) (Correct)
0.4: Runtime Code Generation with JVM And CLR - Sestoft (2002) (Correct)
0.3: Communication Issues regarding Parallel Functional Graph Rewriting - Kesseler (1992) (Correct)
BibTeX entry: (Update)
@misc{ sestoft-standard,
author = "Peter Sestoft",
title = "Standard ML on the Web server: Visualizing Lambda Calculus Reduction",
url = "citeseer.ist.psu.edu/sestoft96standard.html" }
Citations (may not include all citations):81 The Zinc experiment: An economical implementation of the ML .. - Leroy - 1990
51 Deriving a lazy abstract machine - Sestoft - 1997
28 Needed reduction and spine strategies for the lambda calculu.. (context) - Barendregt, Kennaway et al. - 1987
14 Standard ML Basis Library (context) - Gansner, Reppy - 1996
9 Moscow ML Owner's Manual - Romanenko, Sestoft - 1996
5 Web page at http://www (context) - Barklund, library
3 Laboratory for Computer Science (context) - Shivers, shell et al. - 1994
1 overview and technical description (context) - Dindorp, Sestoft et al. - 1996
Documents on the same site (http://www.dina.kvl.dk/~sestoft/publications.html): More
Moscow ML Owner's Manual - Version Of (Correct)
Moscow ML Owner's Manual - Version Of (Correct)
On the Formal Semantics of VisualSTATE Statecharts - Wasowski, Sestoft (2002) (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