Bulk types for large scale programming

This publication has 22 references indexed in Scilit:

• Polymorphic names and iterations
  Published by Association for Computing Machinery (ACM) ,1990
• Types, Bindings and Parameters in a Persistent Environment
  Published by Springer Nature ,1988
• Structural subtyping and the notion of power type
  Published by Association for Computing Machinery (ACM) ,1988
• IFO: a formal semantic database model
  ACM Transactions on Database Systems, 1987
• Types and persistence in database programming languages
  ACM Computing Surveys, 1987
• GALILEO: a strongly-typed, interactive conceptual language
  ACM Transactions on Database Systems, 1985
• Toposes, Triples and Theories
  Published by Springer Nature ,1985
• An implementation technique for database query languages
  ACM Transactions on Database Systems, 1982
• A synthesis of several sorting algorithms
  Acta Informatica, 1978
• A relational model of data for large shared data banks
  Communications of the ACM, 1970