Set abstraction in functional and logic programming

Authors:
Frank S. K. Silbermann;Bharat Jayaraman
Affiliations:
Department of Computer Science, Tulane University, New Orleans, LA;Department of Computer Science, State University of New York at Buffalo, Buffalo, New York
Venue:
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Year:
1989

Miranda: a non-strict functional language with polymorphic types

Proc. of a conference on Functional programming languages and computer architecture
Denotational semantics: a methodology for language development

Denotational semantics: a methodology for language development
Programming in Prolog

Programming in Prolog
Constraint logic programming

POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Narrowing and unification in functional programming mechanism for absolute set a bstraction

RTA-89 Proceedings of the 3rd international conference on Rewriting Techniques and Applications
Equations, sets, and reduction semantics for functional and logic programming

LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory

Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Experiments, Powerdomains and Fully Abstract Models for Applicative Multiprogramming

Proceedings of the 1983 International FCT-Conference on Fundamentals of Computation Theory
LISP 1.5 Programmer's Manual

LISP 1.5 Programmer's Manual
The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Science)

The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Science)

Hi-index	0.00