|
37
|
Abstract predicates and mutable ADTs in Hoare type theory
– Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, Lars Birkedal
- 2007
|
|
4
|
Linear Logic and Imperative Programming
– Limin Jia
- 2008
|
|
25
|
Practical Refinement-Type Checking
– Rowan Davies, Frank Pfenning
- 1997
|
|
1
|
A Programming Language for Probabilistic Computation
– Sungwoo Park, Geoffrey Gordon, Robert Harper
- 2005
|
|
56
|
An Effective Theory of Type Refinements
– Yitzhak Mandelbaum, David Walker, Robert Harper
- 2002
|
|
|
Process Logic and Duality -- Part I: Sequential Processes
– Kohei Honda
|
|
27
|
Parameterised notions of computation
– Robert Atkey
- 2006
|
|
34
|
An observationally complete program logic for imperative higher-order functions
– Kohei Honda, Nobuko Yoshida, Martin Berger
- 2005
|
|
13
|
Separation logic for higher-order store
– Bernhard Reus, Jan Schwinghammer
- 2006
|
|
|
A Modal Language for Effects
– Sungwoo Park, Robert Harper
- 2004
|
|
|
A Logical View of Effects
– Sungwoo Park , Robert Harper
|
|
19
|
A probabilistic language based upon sampling functions
– Sungwoo Park, Frank Pfenning, Sebastian Thrun
- 2005
|
|
7
|
A probabilistic language based on sampling functions
– Sungwoo Park, Frank Pfenning
- 2006
|
|
4
|
Achieving information flow security through monadic control of effects. Invited submission to
– William L. Harrison, James Hook
|
|
1
|
Statically tracking state with Typed Regions
– Stefan Monnier, Université De Montréal
|
|
13
|
Verification of Safety Properties for Concurrent Assembly Code
– Dachuan Yu , Zhong Shao
- 2004
|
|
94
|
How to Declare an Imperative
– Philip Wadler
- 1995
|
|
|
Interpretational Overhead in system software
– Boris Feigin
- 2011
|
|
5
|
Type-theoretic semantics for transactional concurrency
– Aleksandar Nanevski, Paul Govereau, Greg Morrisett
- 2007
|
