Typed representation of objects by functions

Authors:
J. Steensgaard-Madsen
Affiliations:
Technical University of Denmark
Venue:
ACM Transactions on Programming Languages and Systems (TOPLAS)
Year:
1989

Citing 6
Cited 0

Classification in object-oriented systems

OOPWORK '86 Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming
A Statement-Oriented Approach to Data Abstraction

ACM Transactions on Programming Languages and Systems (TOPLAS)
Final Data Types and Their Specification

ACM Transactions on Programming Languages and Systems (TOPLAS)
Functional Programming

Functional Programming
A proposal for standard ML

LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Programming by semantic refinement

Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

A systematic representation of objects grouped into types by constructions similar to the composition of sets in mathematics is proposed. The representation is by lambda expressions, which supports the representation of objects from function spaces. The representation is related to a rather conventional language of type descriptions in a way that is believed to be new. Ordinary control-expressions (i.e.,case- and let-expressions) are derived from the proposed representation.