dblp.uni-trier.dewww.uni-trier.de

John Longley Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
10EEJohn Longley: Interpreting Localized Computational Effects Using Operators of Higher Type. CiE 2008: 389-402
2007
9EEJohn Longley: On the ubiquity of certain total type structures. Mathematical Structures in Computer Science 17(5): 841-953 (2007)
2004
8EEJohn Longley, Randy Pollack: Reasoning About CBV Functional Programs in Isabelle/HOL. TPHOLs 2004: 201-216
7EEJohn Longley: On the Ubiquity of Certain Total Type Structures: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 73: 87-109 (2004)
2002
6 John Longley: The sequentially realizable functionals. Ann. Pure Appl. Logic 117(1-3): 1-93 (2002)
2000
5EEFurio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki: Constructive Data Refinement in Typed Lambda Calculus. FoSSaCS 2000: 161-176
4EEJohn Longley: Matching typed and untyped realizability. Electr. Notes Theor. Comput. Sci. 35: (2000)
1999
3EEJohn Longley: When is a Functional Program Not a Functional Program? ICFP 1999: 1-7
2EEJohn Longley: Matching typed and untyped realizability. Electr. Notes Theor. Comput. Sci. 23(1): (1999)
1997
1 Simon Finn, Michael P. Fourman, John Longley: Partial Functions in a Total Setting. J. Autom. Reasoning 18(1): 85-104 (1997)

Coauthor Index

1Simon Finn [1]
2Michael P. Fourman [1]
3Furio Honsell [5]
4Randy Pollack [8]
5Donald Sannella [5]
6Andrzej Tarlecki [5]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)