Claus Reinke  Home/Search
Context
Related
| informatik.unikiel.de...1998_tr04.ps.Z btinternet.com/~claus.reink...phd.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: cs.nott.ac.uk/~czr/publicat...phd (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The original aim of the work that led to this dissertation was to extend an existing, purely functional language with facilities for input/output and modular programming. The language is based on an untyped -calculus, i.e., program execution is defined as program transformation according to a fixed set of reduction rules including fi-reduction. Consistently, the implementation comprises an interactive reduction system which is integrated with a syntax-oriented editor: any sub-expression or... (Update)
Active bibliography (related documents): More All
3.9: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
1.8: On Functional Programming, Language Design, and Persistence - Reinke (1998) (Correct)
1.4: Functions, Frames, and Interactions - Reinke (1995) (Correct)
Similar documents based on text: More All
0.7: On Value-Based Identification in Object-Oriented Data Models - Rasch (1998) (Correct)
0.3: Formal Methods and the Development of Dependable Systems - Peleska (1996) (Correct)
0.3: Hypercomplex Spectral Signal Representations for the Processing.. - Bülow (1999) (Correct)
BibTeX entry: (Update)
@misc{ reinke-functions,
author = "Claus Reinke",
title = "Functions, Frames, and Interactions - completing a lamda-calculus-based
purely functional language with respect to programming-in-the-large and
interactions with runtime environments",
url = "citeseer.ist.psu.edu/reinke98functions.html" }
Citations (may not include all citations):809 A Theory of Type Polymorphism in Programming (context) - Milner - 1978
788 Rewrite Systems - Dershowitz, Jouannaud - 1990
427 the Criteria To Be Used in Decomposing Systems into Modules (context) - Parnas - 1972
384 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
369 A Semantics of Multiple Inheritance - Cardelli - 1984
346 Denotational Semantics: The Scott-Strachey Approach to Progr.. (context) - Stoy - 1977
311 Abstract types have existential type (context) - Mitchell, Plotkin - 1985
293 The essence of functional programming - Wadler - 1992
291 Computational lambda-calculus and monads - Moggi - 1989
283 Theoretical Computer Science (context) - Plotkin, call-by-value et al. - 1975
273 Can Programming be Liberated from the von Neumann Style: A F.. (context) - Backus - 1978
261 Dynamic Typing in Polymorphic Languages - Abadi, Cardelli et al. - 1994
244 Imperative Functional Programming - Jones, Wadler - 1993
227 Kernighan and Dennis M (context) - Brian - 1988
218 The mechanical evaluation of expressions (context) - Landin - 1963
215 A Type-Theoretic Approach to Higher-Order Modules with Shari.. - Harper, Lillibridge - 1994
206 Why functional programming matters - Hughes - 1990
193 An Approach to Persistent Programming (context) - Atkinson, Bailey et al. - 1983
173 The UNIX time-sharing system - Ritchie, Thompson - 1983
163 Commentary on Standard ML (context) - Milner, Tofte - 1991
156 First-class Polymorphism with Type Inference - Jones - 1997
139 Type systems for programming languages (context) - Mitchell - 1990
139 Recursive Functions of Symbolic Expressions and their Comput.. - McCarthy - 1960
137 The Art of the Metaobject Protocol (context) - Kiczales, Rivieres et al. - 1991
128 On Understanding Types (context) - Cardelli, Wegner - 1985
128 and separate compilation (context) - Leroy, modules - 1994
126 Type inference with polymorphic recursion - Henglein - 1993
101 Lambda calculus notation with nameless dummies (context) - de Bruijn - 1972
98 Using Dependent Types to Express Modular Structure - MacQueen - 1986
96 Models for Persistence in Lazy Functional Programming System.. - McNally - 1993
94 Mathematical Structures in Computer Science (context) - Wadler - 1992
94 Two Models for Integrating Persistence and Lazy Functional L.. - McNally, Davie - 1991
89 A Gentle Introduction to Haskell - Hudak, Peterson et al. - 1997
86 A Correspondence Between ALGOL 60 and Church's Lambda-Notati.. (context) - Landin - 1965
84 The Next 700 Programming Languages (context) - Landin - 1966
83 Modules for Standard ML - MacQueen - 1985
82 Programming-in-the-Large Versus Programming-in-the-Small (context) - DeRemer, Kron - 1976
77 Lisp and Symbolic Computation (context) - Reynolds, of - 1993
76 Software -- Practice and Experience (context) - Wirth, Implementation - 1977
75 Applicative functors and fully transparent higher-order modu.. - Leroy - 1995
72 An abstract view of programming languages (context) - Moggi - 1989
71 Operations on Records - Cardelli, Mitchell
66 Views: a way for pattern matching to cohabit with data abstr.. - Wadler - 1987
65 A Semantics for Higher-order Functors - MacQueen, Tofte - 1994
63 and Application of Functional Programming Languages (context) - Hudak, Evolution - 1989
62 Term Rewriting Systems (context) - Klop - 1990
61 Continuations: A Mathematical Semantics for Handling Full Ju.. (context) - Strachey, Wadsworth - 1974
60 ACM Transactions on Programming Languages and Systems (context) - Donahue, Demers et al. - 1985
59 Programming With Abstract Data Types (context) - Liskov, Zilles - 1974
54 Type reconstruction in the presence of polymorphic recursion (context) - Kfoury, Tiuryn et al. - 1993
50 Orthogonally Persistent Object Systems - Atkinson, Morrison - 1995
49 CONS should not evaluate its arguments (context) - Friedman, Wise - 1976
48 Translucent Sums: A Foundation for Higher-Order Module Syste.. - Lillibridge - 1997
48 Merging monads and folds for functional programming - Meijer, Jeuring - 1995
45 Putting Type Annotations to Work - Odersky, Laufer - 1996
44 The common lisp object system: An overview (context) - DeMichiel, Gabriel - 1987
38 Using Parameterized Signatures to Express Modular Structure - Jones - 1996
37 and Sigbjorn Finne (context) - Jones, Gordon - 1996
34 Theoretical Aspects of Object-Oriented Programming: Types (context) - Gunter, Mitchell - 1994
33 Towards a New Model of Abstraction in the Engineering of Sof.. - Kiczales - 1992
33 Implementing Haskell overloading - Augustsson - 1993
32 Logical Foundations of Functional Programming (context) - Huet - 1990
32 A Lazy Evaluator (context) - Henderson, James et al. - 1976
30 Distinguished Dissertations in Computer Science (context) - Gordon, Input - 1994
30 The Smalltalk-76 Programming System Design and Implementatio.. (context) - Ingalls - 1978
30 Programmer's Manual (context) - McCarthy, Abrahams et al. - 1966
29 A Polymorphic Type System for Extensible Records and Variant.. - Gaster, Jones - 1996
28 Report on the Programming Language Haskell A Non-strict (context) - Peterson, Hammond - 1996
27 Napier88 Reference Manual (context) - Morrison, Brown et al. - 1996
26 The Lambda Calculus -- Its Syntax and Semantics (context) - Barendregt - 1984
25 volume 1 of London Mathematical Society -- Student Texts (context) - Hindley, Seldin et al. - 1986
24 Protection in Programming Languages (context) - Jr - 1973
24 Xerox Palo Alto Research Center (context) - Kiczales, Lamping et al. - 1997
24 GEDANKEN -- A Simple Typeless Language Based on the Principl.. (context) - Reynolds - 1970
20 Two Semantic Models of Object-Oriented Languages (context) - Kamin, Reddy - 1994
20 Lambda: The Ultimate Imperative (context) - Lewis, Gerald - 1976
19 The Humble Programmer (context) - Dijkstra - 1972
19 The Implementation of Practical Functional Programming Langu.. (context) - Perry - 1991
19 The Ins and Outs of Clean I/O - Achten, Plasmeijer - 1995
18 History of Lisp - McCarthy - 1981
17 Language Design Methods Based on Semantic Principles (context) - Tennent - 1977
17 Interactive Functional Programs - Models (context) - Achten - 1996
16 Early Experience with Mesa (context) - Geschke, Jr et al. - 1977
16 ACM Transactions on Programming Languages and Systems (context) - Hall, Hammond et al. - 1996
14 The Expressiveness of Purely Functional I/O Systems - Hudak, Sundaresh - 1989
13 OS6 --- an experimental operating system for a small compute.. (context) - Stoy, Strachey - 1972
13 OS6 --- an experimental operating system for a small compute.. (context) - Stoy, Strachey - 1972
13 Type Equivalence Checking in Persistent Object Systems (context) - Connor, Brown et al. - 1990
12 From Abstraction-Oriented to ObjectOriented (context) - Taft - 1993
12 Research Institute for Symbolic Computation (context) - Schreiner, Programming et al. - 1993
12 Definiteness and Unfoldability (context) - Sondergaard, Sestoft - 1990
11 Type Classes: an exploration of the design space - Jones, Jones et al. - 1997
11 North-Holland Publishing Company (context) - Curry, Feys et al. - 1974
10 Uniqueness Type Inference (context) - Barendsen, Smetsers - 1995
10 ALPHARD: Form and Content (context) - Shaw - 1981
9 A Consistent Extension of the Lambda Calculus as a Base for .. (context) - Berkling, Fehr - 1982
9 Extending functional database languages to update completene.. (context) - Sutton, Small - 1995
8 SIMULA -- an ALGOL-Based Simulation Language (context) - Dahl, Nygaard - 1966
8 The impact of the lambda calculus in logic and computer scie.. - Barendregt - 1996
8 The Preparation of Programs for an Electronic Digital Comput.. (context) - Wilkes, Wheeler et al. - 1957
8 A Contribution to the Development of ALGOL (context) - Wirth, Hoare - 1966
8 From Hindley-Milner Types to First-Class Structures (context) - Jones - 1995
8 Interactive Functional Programs - A Method and a Formal Sema.. - Thompson - 1990
8 The Concurrent Clean Language Report -- version (context) - Plasmeijer, van Eekelen - 1997
7 SIMULA - Common Base Language (context) - Dahl, Myhrhaug et al. - 1970
6 PAL -- a language designed for teaching programming linguist.. (context) - Evans - 1968
6 An interactive compiling graph reduction system for an appli.. (context) - Gartner, Kluge - 1996
6 Toward Relaxing Assumptions in Languages and Their Implement.. (context) - Shaw, Wulf - 1980
6 PS-algol: A Language for Persistent Programming (context) - Atkinson, Bailey et al. - 1983
5 Mechanisms for Controlling Evolution in Persistent Object Sy.. - Morrison, Connor et al. - 1993
5 Laboratory for Computer Science (context) - Liskov, of et al. - 1992
5 First Class File I/O - Pil - 1996
5 Dynamic Modules in Higher-Order Languages - Jagannathan - 1994
5 A functional approach to database updates (context) - Small - 1993
5 Programming Languages -- The First 25 Years (context) - Wegner - 1976
5 Programming Research Group (context) - Wadsworth, Pragmatics et al. - 1971
4 Department of Computational Science (context) - Morrison, DEVELOPMENT et al. - 1979
4 An Overview of the Poly Programming Language (context) - Matthews - 1988
4 Automatic Data Structure Selection: An Example and Overview (context) - Low - 1978
4 Studies in Data Processing (context) - Dahl, Dijkstra et al. - 1972
4 and Robin Milner (context) - Harper, MacQueen - 1986
4 ein interaktives codeausfuhrendes Reduktionssystem zur volls.. (context) - Gartner - 1991
4 Procedural Encapsulation: A Linguistic Protection Technique (context) - Zilles - 1973
4 Functional Hypersheets (context) - Davie, Hammond - 1996
4 Persistent First Class Procedures are Enough (context) - Atkinson, Morrison - 1984
4 A User's Guide for the Reduction System ß-RED (context) - Kluge - 1994
3 Partial Evaluation: Principles and Perspectives - Consel, Danvy - 1993
3 Sun Microsystems Laboratories (context) - Project, www et al. - 1995
3 Computing Surveys (context) - Tanenbaum, on - 1976
3 Modules and Persistence in Standard ML (context) - Harper - 1986
3 tu-harburg (context) - http, sts - 1997
3 Reflections on Standard ML - MacQueen - 1992
3 An implementation of higher-order functors (context) - Cregut, MacQueen - 1994
3 Functional Programming with Dynamic Binding - Dami - 1996
3 Using Reflection to Support Type-Safe Evolution in Persisten.. (context) - Kirby, Connor et al. - 1996
3 tu-harburg (context) - http, sts - 1997
2 A Symmetric Complement to the Lambda Calculus (context) - Berkling - 1976
2 The Module: A System Structuring Facility in HighLevel Progr.. (context) - Wirth - 1979
2 Technical report (context) - ANSI, standard - 1994
2 Improving Persistent Data Manipulation for Functional Langua.. (context) - Hammond, McNally et al. - 1992
2 Generalized ALGOL (context) - van Wijngaarden - 1963
2 Series in Computer Science (context) - Henderson, -- et al. - 1980
2 and their relationship to functional programming (context) - Hill, Clarke et al. - 1994
2 Initally presented at Compsac80 (context) - Wasserman, Language et al. - 1980
1 fur Informatik und praktische Mathematik (context) - Rathsack, thesis - 1997
1 Functional Programs and Operating Systems (context) - Jones, Sinclair - 1989
1 Data Flow and Control Flow Systems (context) - Kluge, of - 1992
1 International Symposium on Extensible Languages (context) - Schuman - 1971
1 Super combinators - a new implementation technique for appli.. (context) - Hughes - 1982
1 Reduction languages and reduction systems (context) - Kluge, Schmittgen - 1986
1 Xerox PARC (context) - Group - 1996
1 WWW home page: http: //www (context) - Research - 1992
1 fur Informatik und praktische Mathematik (context) - Timm, Ausgabe-Operationen et al. - 1996
1 www-fide (context) - http - 1988
1 Repaired version of Functional Programming (context) - Dershowitz, of et al. - 1993
1 Poly and Standard ML (context) - Matthews - 1985
1 San Francisco Bay Area (context) - Workshop, Persistence et al. - 1997
1 Talk given at the yearly colloquium of the Department of com.. (context) - Barendregt, the - 1996
1 Orthogonal Persistence as an Implementation Platform for Sof.. (context) - Kirby, Morrison - 1997
1 Orthogonal Persistence for Java (context) - Project - 1996
1 Persistent Programming Languages - A Survey (context) - Clamen - 1991
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