Logical and computational aspects of programming with sets/bags/lists

This publication has 8 references indexed in Scilit:

• Database programming in Machiavelli---a polymorphic language with static type inference
  Published by Association for Computing Machinery (ACM) ,1989
• Types and persistence in database programming languages
  ACM Computing Surveys, 1987
• Views: a way for pattern matching to cohabit with data abstraction
  Published by Association for Computing Machinery (ACM) ,1987
• Categories of partial morphisms and the λP-calculus
  Published by Springer Nature ,1986
• Programming with Sets
  Published by Springer Nature ,1986
• Can programming be liberated from the von Neumann style?
  Communications of the ACM, 1978
• Some high level language constructs for data of type relation
  ACM Transactions on Database Systems, 1977
• A relational model of data for large shared data banks
  Communications of the ACM, 1970