Programming with Structures, Functions, and Objects

Abstract

We describe program structuring mechanism for integrating algebraic, functional and object-oriented programming in a single framework. Our language is statistically typed higher-order language with specifications, structures, types, and values, and with universal and existential abstraction over structures, types, and values.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 22, 1991
Accession Number
AD1020191

Entities

People

  • Fritz Henglein
  • Konstantin Laufer

Organizations

  • Courant Institute of Mathematical Sciences, NYU

Tags

DTIC Thesaurus Topics

  • Computer Programming
  • Computing-Related Activities
  • Language
  • Object Oriented Programming
  • Specifications

Fields of Study

  • Computer science

Readers

  • Computational Linguistics