CiteSeer.IST Home  Similar documents based on text:  Chasing Bottoms - A Case Study in Program Verification in.. - Danielsson, Jansson (2004)   (Correct)

Similar documents based on text:   All related documents
0.3:   Fast and Loose Reasoning is Morally Correct - Danielsson, Hughes, Jansson.. (2006)   (Correct)
0.2:   Matroids from Modules - Danielsson, Smyth (2003)   (Correct)
0.2:   Polytypic Unification - Jansson, Jeuring (1993)   (Correct)
0.2:   Functional Pearls: Polytypic Unification - Jansson, Jeuring (1998)   (Correct)
0.1:   A Framework for Polytypic Programming on Terms, With an.. - Jansson, Jeuring (2000)   (Correct)
0.1:   Polytypic Data Conversion Programs - Jansson, Jeuring (2001)   (Correct)
0.1:   PolyLib - a library of polytypic functions - Jansson, Jeuring (1998)   (Correct)
0.1:   Prototyping Generic Programming in Template Haskell - Jansson (2004)   (Correct)

CiteSeer.IST - Copyright Penn State and NEC