CiteSeer.IST Home  Similar documents based on text:  Fast and Loose Reasoning is Morally Correct - Danielsson, Hughes, Jansson.. (2006)   (Correct)

Similar documents based on text:   All related documents
0.3:   Polytypic Programming - Jeuring, Jansson (1996)   (Correct)
0.3:   Chasing Bottoms - A Case Study in Program Verification in.. - Danielsson, Jansson (2004)   (Correct)
0.2:   Universes for Generic Programs and Proofs in Dependent Type .. - Benke, Dybjer, Jansson (2003)   (Correct)
0.2:   Preliminary Proceedings of the ACM SIGPLAN Haskell Workshop.. - (editor) (2001)   (Correct)
0.2:   Polytypic Unification - Jansson, Jeuring (1993)   (Correct)
0.2:   Functional Pearls: Polytypic Unification - Jansson, Jeuring (1998)   (Correct)
0.2:   Matroids from Modules - Danielsson, Smyth (2003)   (Correct)
0.1:   Functional Polytypic Programming Use and Implementation - Jansson (1997)   (Correct)
0.1:   The Efficiency of ITQs in the Presence of Congestion.. - Boyce   (Correct)
0.1:   Polytypic Data Conversion Programs - Jeuring (2002)   (Correct)

CiteSeer.IST - Copyright Penn State and NEC