See this document in CiteSeerX!

Standard ML on the Web server: Visualizing Lambda Calculus Reduction (1996)  (Make Corrections)  
Peter Sestoft



  Home/Search   Context   Related

 
View or download:
dina.kvl.dk/pub/Staf...lamreduce1.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  dina.kvl.dk/~sesto...publications (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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