|
1
|
Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles
– Seyed H. Haeri
- 2009
|
|
|
Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles
– Seyed H. Haeri (Hossein)
- 2009
|
|
|
Denotational Semantics Using an Operationally-Based Term Model
– Mitchell Wand, Gregory T. Sullivan
- 1997
|
|
1
|
Subtyping, Declaratively An Exercise in Mixed Induction and Coinduction
– Nils Anders Danielsson, Thorsten Altenkirch
|
|
1
|
An Equational Theory for a Region Calculus
– Simon Helsen
- 2002
|
|
1
|
Incremental lambda lifting: An exercise in almost-denotational semantics
– Gregory T. Sullivan, Mitchell Wand
- 1996
|
|
33
|
Recursive Subtyping Revealed
– Vladimir Gapeyev, Michael Levin, Benjamin Pierce
- 2000
|
|
27
|
Domains and Denotational Semantics: History, Accomplishments and Open Problems
– Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark
- 1996
|
|
8
|
Efficient and Flexible Matching of Recursive Types
– Jens Palsberg, Tian Zhao
- 2000
|
|
|
Adding Input-Output to PCF
– Jerzy Tiuryn, Mitchell Wand
- 1995
|
|
21
|
Correspondence between Operational and Denotational Semantics
– C. -h. L. Ong
- 1995
|
|
11
|
Game Semantics and Subtyping
– Juliusz Chroboczek
- 1999
|
|
1
|
Theory for Software Verification
– David A. Naumann
- 2009
|
|
44
|
Semantics of Types for Mutable State
– Amal Jamil Ahmed
- 2004
|
|
9
|
A Note on Logical Relations Between Semantics and Syntax
– Andrew Pitts
- 1997
|
|
2
|
An operational domain-theoretic treatment of recursive types
– Weng Kin Ho
- 2006
|
|
1
|
An Axiomatization for the Terminal Cycle
– Wan Fokkink
- 1996
|
|
8
|
Decidability Issues for Infinite-State Processes - a Survey
– Søren Christensen, Datalogisk Afdeling, Ny Munkegade, Hans Hüttel, Afdeling For, Matematik Og Datalogi, Aalborg Universitetscenter
- 1996
|
|
1
|
Is Observational Congruence on µ-Expressions Axiomatisable in Equational Horn Logic?
– Michael Mendler, Gerald Lüttgen
- 2007
|
