Chasing bottoms: A case study in program verification in the presence of partial and infinite values (2004)

Cached

Download Links

by Nils Anders Danielsson , Patrik Jansson
Venue:In MPC 2004, volume 3125 of LNCS
Citations:9 - 2 self

Documents Related by Co-Citation

136 Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming – Ralf Lämmel, Simon Peyton Jones - 2003
298 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
329 Theorems for free! – Philip Wadler - 1989
41 Gast: Generic Automated Software Testing – Pieter Koopman, Artem Alimarine, Jan Tretmans, Rinus Plasmeijer - 2002
308 QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs – Koen Claessen, John Hughes - 2000
215 Introduction to Functional Programming using Haskell, 2nd edition – R Bird - 1998
22 Theorem proving for functional programmers - Sparkle: A functional theorem prover – Maarten De Mol, Marko Van Eekelen, Rinus Plasmeijer - 2001
23 An operational semantics for parallel lazy evaluation – Clement Baker-Finch, David King, Philip Trinder - 2000
106 graph rewriting – H P Barendregt - 1987
13 The Generic Approximation Lemma – Graham Hutton, Jeremy Gibbons - 2001
96 and Oege de Moor. Algebra of Programming – Richard Bird - 1997
37 Free Theorems in the Presence of seq – Patricia Johann, Janis Voigtländer - 2004
364 Types, abstraction and parametric polymorphism – J C Reynolds - 1983
285 Why functional programming matters – John Hughes - 1989
1309 Monads for functional programming – Philip Wadler - 1995
129 Eekelen. Functional Programming and Parallel Graph Rewriting – R Plasmeijer, M van - 1993
704 Types and Programming Languages – B C Pierce - 2002
68 Dependency-style Generic Haskell – Andres Löh, Dave Clarke, Johan Jeuring - 2003
48 Wobbly types: type inference for generalised algebraic data types – Simon Peyton Jones, Geoffrey Washburn, Stephanie Weirich - 2004