|
252
|
QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs
– Koen Claessen, John Hughes
- 2000
|
|
70
|
A Lightweight Implementation of Generics and Dynamics
– James Cheney, Ralf Hinze
- 2002
|
|
53
|
Typing dynamic typing
– Arthur I. Baars, S. Doaitse Swierstra
- 2002
|
|
340
|
Interactive theorem proving and program development. Coq’Art: The calculus of inductive constructions
– Y Bertot, P Castéran
- 2004
|
|
8
|
Calculational Derivation of Pointer Algorithms from Tree Operations
– Michael Butler
- 1998
|
|
52
|
Algorithmic Language and Program Development
– F L Bauer, H Wossner
- 1982
|
|
101
|
Intuitionistic Reasoning about Shared Mutable Data Structure
– John C. Reynolds
- 2000
|
|
90
|
Proving pointer programs in Hoare Logic
– Richard Bornat
- 2000
|
|
66
|
Some techniques for proving correctness of programs which alter data structures
– R M Burstall
- 1972
|
|
237
|
Refinement Calculus, A Systematic Introduction
– R J R Back, J von Wright
- 1998
|
|
13
|
Nebula: a functional operating system
– K Karlsson
- 1981
|
|
6
|
Declarative debugging with Buddha
– B Pope
- 2005
|
|
49
|
Debugging Haskell by Observing Intermediate Data Structures
– Andy Gill
- 2000
|
|
20
|
Testing Monadic Code with QuickCheck
– Koen Claessen, John Hughes
- 2002
|
|
21
|
Composing Monads Using Coproducts
– Christoph Lüth, Neil Ghani
- 2002
|
|
26
|
A poor man’s concurrency monad
– Koen Claessen
- 1999
|
|
19
|
Running the manual: An approach to high-assurance microkernel development
– Philip Derrin, Kevin Elphinstone, Gerwin Klein, David Cock, Manuel M. T. Chakravarty
- 2006
|
|
6
|
The Essence of Multitasking
– William L. Harrison
- 2006
|
|
25
|
PFL: A functional language for parallel programming
– S Holmström
- 1983
|
