A stratified semantics of general references embeddable in higher-order logic
- 25 June 2003
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 4, 75-86
- https://doi.org/10.1109/lics.2002.1029818
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- Machine Instruction Syntax and Semantics in Higher Order LogicPublished by Springer Nature ,2000
- The Logic of Bunched ImplicationsBulletin of Symbolic Logic, 1999
- From system F to typed assembly languageACM Transactions on Programming Languages and Systems, 1999
- Functor Categories and Store ShapesPublished by Springer Nature ,1997
- A simplified account of polymorphic referencesInformation Processing Letters, 1994
- A framework for defining logicsJournal of the ACM, 1993
- Report on the programming language HaskellACM SIGPLAN Notices, 1992
- Co-induction in relational semanticsTheoretical Computer Science, 1991
- Type inference for polymorphic referencesInformation and Computation, 1990
- Impossible possible worlds vindicatedJournal of Philosophical Logic, 1975