Werner E. Kluge, Carsten Rathsack, Sven-Bodo Scholz  Home/Search
Context
Related
| informatik.unikiel.de/~wk/nijm.ps 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: informatik.unikiel...papers_func (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . This paper describes an interactively controlled reduction system --red which may be employed to teach both basic concepts of functional programming and program execution at the undergraduate level, and advanced topics of computer science at the graduate level. --red supports the reduction languages KiR - a sugared versions of an applied --calculus with a full-fledged (type-free) fi-reduction. Functions (-abstractions) are truly treated as first class objects: they may be applied to... (Update)
Similar documents (at the sentence level):
78.7%: Using pi-RED+ as a Teaching Tool for Functional.. - Kluge, Rathsack, Scholz (Correct)
Active bibliography (related documents): More All
0.5: A Reversible SE(M)CD Machine - Kluge (Correct)
0.2: A User's Guide for the Reduction System π-RED - Kluge (1994) (Correct)
0.2: Functions, Frames, and Interactions - completing a.. - Reinke (1998) (Correct)
Similar documents based on text: More All
0.1: Preliminary Experience with a pi-RED+.. - Bülck, Held.. (1993) (Correct)
0.1: pi-RED+: An Interactive Compiling Graph Reduction System for.. - Gärtner, Kluge (1993) (Correct)
0.1: Experience with the Implementation of a Concurrent .. - Bülck, Held.. (1994) (Correct)
BibTeX entry: (Update)
@inproceedings{ kluge95using,
author = "Werner E. Kluge and Carsten Rathsack and Sven-Bodo Scholz",
title = "Using pi-{RED} as a Teaching Tool for Functional Programming and Program Execution",
booktitle = "Functional Programming Languages in Education",
pages = "231-249",
year = "1995",
url = "citeseer.ist.psu.edu/408370.html" }
Citations (may not include all citations):430 Structure and Interpretation of Computer Programs (context) - Abelson, Sussmann - 1985
273 Can Programming Be Liberated from the von Neumann Style (context) - Backus - 1978
218 The Mechanical Evaluation of Expressions (context) - Landin - 1964
210 Implementing Lazy Functional Languages on Stock Hardware: Th.. - Peyton--Jones - 1992
150 Report on the Functional Programming Language : Haskell (context) - Hudak, Wadler - 1988
143 A New Implementation Technique for Applicative Languages Sof.. (context) - Turner - 1979
138 Functional Programming and Parallel Graph Rewriting (context) - Plasmeijer, van Eekelen - 1993
106 Lambda-Calculus Notation with Nameless Dummies (context) - DeBruijn - 1972
63 Laboratory for Foundations of Computer Science (context) - Harper, Milner et al. - 1989
10 Lazy Pattern Matching in the ML Language (context) - Laville - 1987
9 A Consistent Extension of the Lambda-Calculus as a Base for .. (context) - Berkling, Fehr - 1982
6 Reduction Languages for Reduction Machines (context) - Berkling - 1975
6 An Interactive Compiling Graph Reduction System for an Appli.. (context) - Gaertner, Kluge
5 A Symbolic Calculator for Non-Strict Functional Programs The.. (context) - Goldson - 1994
4 This article was processed using the L a T E X macro package.. (context) - Turner - 1986
2 Efficient Compilation of Lazy Evaluation SIGPLAN Compiler Co.. (context) - Johnsson - 1984
2 The Functional Abstract Machine The ML/LCF/HOPE Newsletter (context) - Cardelli, McQueen - 1983
1 A User's Guide for the Reduction System --red (context) - Kluge - 1994
Documents on the same site (http://www.informatik.uni-kiel.de/~wk/papers_func.html):
pi-RED+: An Interactive Compiling Graph Reduction System for.. - Gärtner, Kluge (1993) (Correct)
A Reversible SE(M)CD Machine - Kluge (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