| |
 |
|
|
Schneider, Edward
Secure Computing Corporation
Roseville, Minnesota
|
|
 |
|
|
| |
| |
|
Date Reviewed |
|
| |
1 - 10 of 17
reviews
|
|
|
|
|
|
|
|
A system of constructor classes: overloading and implicit higher-order polymorphism
Jones M. Functional programming languages and computer architecture (Proceedings of the conference, Copenhagen, Denmark, Jun 9-11, 1993) 52-61, 1993. Type: Proceedings
Jones presents an important extension to type classes as found in the applicative programming language Haskell. Type classes are a set of types to which a group of polymorphic functions may be applied; they provide a means to control a...
|
Sep 1 1994 |
|
|
|
|
|
|
A theory for program and data type specification
Talcott C. (ed) Theoretical Computer Science 104(1): 129-159, 1992. Type: Article
The impredicative theory of operations, control, and classes (IOCC) is a two-layered theory for use in specifying programs and data structures and for showing equivalences between programs. The first layer is essentially the lambda cal...
|
Oct 1 1993 |
|
|
|
|
|
|
Parallel functional languages and compilers
Szymanski B. (ed), ACM Press, New York, NY, 1991. Type: Book (9780201522433)
One of the claims made for functional programming is that the lack of side effects makes these languages ideal for writing programs to be run on parallel architectures. Functional programs written for sequential machines can be run on ...
|
Sep 1 1993 |
|
|
|
|
|
|
Lazy functional languages
Burn G. (ed), MIT Press, Cambridge, MA, 1991. Type: Book (9780262521604)
Abstract interpretation is a technique first made popular by Mycroft. This book describes its use as a means of compiling efficient code for lazy functional languages. It appears to be an extension of the author’s Ph.D. thesi...
|
Jul 1 1992 |
|
|
|
|
|
|
Category-sorted algebra-based action semantics
Even S., Schmidt D. (ed) Theoretical Computer Science 77(1-2): 73-95, 1990. Type: Article
Reynolds’s category-sorted algebra is used to define a model for Mosses and Watt’s action semantics. The paper starts out by describing action semantics. It then describes category-sorted algebra and the category of...
|
Nov 1 1991 |
|
|
|
|
|
|
Implementing Remote Evaluation
Stamos J., Gifford D. IEEE Transactions on Software Engineering 16(7): 710-722, 1990. Type: Article
Remote evaluation (REV) is a generalization of remote procedure call (RPC) in which an expression is transmitted instead of a procedure name. The paper starts with an introduction that motivates REV and compares it with similar propose...
|
Jul 1 1991 |
|
|
|
|
|
|
Predicate calculus and program semantics
Dijkstra E. (ed), Scholten C., Springer-Verlag New York, Inc., New York, NY, 1990. Type: Book (9789780387969572)
The authors present the predicate calculus and its use in defining and reasoning about predicate transformers. They use the predicate transformers weakest liberal precondition (wlp) and weakest precondition (wp), which will be familiar...
|
Dec 1 1990 |
|
|
|
|
|
|
Conception, evolution, and application of functional programming languages
Hudak P. ACM Computing Surveys 21(3): 359-411, 1989. Type: Article
Papers in Computing Surveys are meant to be surveys or tutorials. This paper serves both purposes for modern functional programming languages, although it does a better job as a survey. A good introduction to these languages is ...
|
Jun 1 1990 |
|
|
|
|
|
|
The Computer Journal
Hammersley P. (ed) The Computer Journal 22:1989. Type: Journal
This special issue devoted to lazy functional programming contains eight papers, divided into three sections, written by some of the top people in the area. The first section, which answers the question “Why bother with funct...
|
Mar 1 1990 |
|
|
|
|
|
|
Director strings as combinators
Kennaway R., Sleep R. ACM Transactions on Programming Languages and Systems 10(4): 602-626, 1988. Type: Article
This paper has been around since 1982 as a technical report, and by now the ideas it presents are well known within the applicative (functional) programming community, having been implemented in the reduction machine SKIM [1] and discu...
|
Mar 1 1989 |
|
|
|
|
|
| |
|
|
| |
|
|
