|
2
|
A Generic Complete Dynamic Logic for Reasoning about Purity and Effects
– Till Mossakowski, Lutz Schröder, Sergey Goncharov
|
|
2
|
Monadic Dynamic Logic: Application and Implementation
– Dennis Walter
- 2005
|
|
39
|
Monads and Effects
– Nick Benton, John Hughes, Eugenio Moggi
- 2000
|
|
1
|
Kleene Monads: Handling Iteration in a Framework of Generic Effects
– Sergey Goncharov, Lutz Schröder, Till Mossakowski
|
|
2
|
Proof Abstraction for Imperative Languages
– William L. Harrison
- 2003
|
|
12
|
Monad-independent dynamic logic in HasCasl
– Lutz Schröder, Till Mossakowski
|
|
29
|
Adequacy for algebraic effects
– Gordon Plotkin, Matija Pretnar
- 2001
|
|
|
A Modal Language for Effects
– Sungwoo Park, Robert Harper
- 2004
|
|
|
A Logical View of Effects
– Sungwoo Park , Robert Harper
|
|
1
|
Interpreting localized computational effects using operators of higher type (extended abstract)
– John Longley
|
|
6
|
Names, Equations, Relations: Practical Ways to Reason about new
– Ian Stark, Ian Stark
- 1996
|
|
2
|
Logic for Computational Effects: work in progress
– Gordon Plotkin
|
|
1
|
Abstraction and Performance from Explicit Monadic Reflection
– Jonathan Sobel, Erik Hilsdale, R. Kent Dybvig , Daniel P. Friedman
- 1999
|
|
3
|
A Framework for Typed HOAS and Semantics
– Marino Miculan, Ivan Scagnetto
- 2003
|
|
|
HasCasl -- Integrated functional . . .
– Lutz Schröder, Till Mossakowski, Christian Maeder
- 2004
|
|
|
of Program Constructs – Type structure General Terms Languages, Theory
– Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann
|
|
|
Proc. International Symp. on Math. Foundations of Comp.
– Sci Lncs, Ps A. Pitts, J. C. Van Vliet
|
|
|
Intuitionistic Refinement Calculus An extended version of [Bou07a] examplified on the game of Nim
– Sylvain Boulmé
- 2007
|
|
6
|
Generic Exception Handling and the Java Monad
– Lutz Schröder, Till Mossakowski
- 2004
|
