A. J. T. Davie. An introduction to functional programming systems. Cambridge Univ. Press, UK, 1992. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Notes on Functional Programming with Gofer - Cunningham (1995) (3 citations) (Correct)
Comparing Proofs about I/O in Three Programming Paradigms - Butterfield, Strong (2001) (Correct)
Design of Embedded Systems: Formal Models.. - Edwards, Lavagno.. (1997) (28 citations) (Correct)
Comparing Proofs about I/O in Three Programming Paradigms - Butterfield, Strong (2001) (Correct)
A Gentle Introduction to Haskell 98 - Hudak, Peterson, Fasel (1999) (84 citations) (Correct)
Formal Methods in Functional Programming - Cunningham (1994) (Correct)
Design of Embedded Systems: Formal Models.. - Edwards, Lavagno.. (1997) (28 citations) (Correct)
Database States in Lazy Functional Programming Languages.. - Ichikawa (1995) (1 citation) (Correct)
Design of Embedded Systems: Formal Models.. - Edwards, Lavagno.. (1997) (28 citations) (Correct)
Notes on Functional Programming with Gofer - Cunningham (1997) (3 citations) (Correct)
Supporting Array Types in Monoid Comprehensions - Alcantara, Buckles (1998) (3 citations) (Correct)
Models for Persistence in Lazy Functional Programming Systems - McNally (1993) (96 citations) (Correct)
A Functional Specification System for Information Systems - Dawson, Milton, Keen (Correct)
The TM Manual - version 2.0 revision e - Bal, Balsters, de By, Bosschaart, .. (1995) (Correct)
A Physical Example For Teaching Curried Functions - Leavens (1996) (1 citation) (Correct)
Non Homomorphic Reductions of Data Structures - Galan, Núñ.. (1994) (Correct)
Linguistic Support For Developing Groupware Systems - Nejabi (1995) (Correct)
A Software System for Training Phonetic Hidden Markov Models -.. - Goblirsch (1994) (1 citation) (Correct)
Selling Haskell for CS1 in the USA - Page (1997) (Correct)
Selling Haskell for CS1 in the USA - Page (1997) (Correct)
Declarative Languages in Education - Glaser, Hartel, Leuschel, Martin (2000) (Correct)
Swinging Data Types - The dielectic between actions and.. - Padawitz (1998) (Correct)
Experiences in Translating Z Designs to Haskell Implementations - Sherrell, Carver (1994) (2 citations) (Correct)
Experiences of Parallelising Finite-element Problems.. - Grant, Sharp.. (1995) (1 citation) (Correct)
The Jaskell Project - Vernet (1998) (Correct)
Some Lattice-based Scientific Problems, Expressed in Haskell - Carpenter (Correct)
A Parallel Functional Language Compiler for Message-Passing.. - Junaidu (1998) (1 citation) (Correct)
Discovering Needed Reductions Using Type Theory - Gardner (1994) (16 citations) (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