Search the dblp DataBase

Publications of Author

1. Furio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki
   Constructive Data Refinement in Typed Lambda Calculus. [Citation Graph (0, 0)][DBLP]
   FoSSaCS, 2000, pp:161-176 [Conf]
   
2. John Longley
   When is a Functional Program Not a Functional Program? [Citation Graph (0, 0)][DBLP]
   ICFP, 1999, pp:1-7 [Conf]
   
3. John Longley, Randy Pollack
   Reasoning About CBV Functional Programs in Isabelle/HOL. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 2004, pp:201-216 [Conf]
   
4. John Longley
   The sequentially realizable functionals. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2002, v:117, n:1-3, pp:1-93 [Journal]
   
5. John Longley
   Matching typed and untyped realizability. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2000, v:35, n:, pp:- [Journal]
   
6. John Longley
   On the Ubiquity of Certain Total Type Structures: (Extended Abstract). [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:73, n:, pp:87-109 [Journal]
   
7. John Longley
   Matching typed and untyped realizability. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1999, v:23, n:1, pp:- [Journal]
   
8. Simon Finn, Michael P. Fourman, John Longley
   Partial Functions in a Total Setting. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1997, v:18, n:1, pp:85-104 [Journal]
   
9. 
   Interpreting Localized Computational Effects Using Operators of Higher Type. [Citation Graph (, )][DBLP]
   
   
10. 
    Some Programming Languages Suggested by Game Models (Extended Abstract). [Citation Graph (, )][DBLP]