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

Jeff Polakow

Jeffrey Polakow

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2006
13EEJeff Polakow, Christian Skalka: Specifying distributed trust management in LolliMon. PLAS 2006: 37-46
12EEJeff Polakow: Linearity Constraints as Bounded Intervals in Linear Logic Programming. J. Log. Comput. 16(1): 135-155 (2006)
2005
11EEPablo López, Frank Pfenning, Jeff Polakow, Kevin Watkins: Monadic concurrent linear logic programming. PPDP 2005: 35-46
2004
10EESébastien Carlier, Jeff Polakow, J. B. Wells, A. J. Kfoury: System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types. ESOP 2004: 294-309
9EEPablo López, Jeff Polakow: Implementing Efficient Resource Management for Linear Logic Programming. LPAR 2004: 528-543
2003
8EEAlberto Momigliano, Jeff Polakow: A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines. MERLIN 2003
2002
7EEJoshua S. Hodas, Pablo López, Jeffrey Polakow, Lubomira Stoilova, Ernesto Pimentel: A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming. CSL 2002: 167-182
6EEPablo López, Ernesto Pimentel, Joshua S. Hodas, Jeffrey Polakow, Lubomira Stoilova: Isolating Resource Consumption in Linear Logic Proof Search. Electr. Notes Theor. Comput. Sci. 70(2): (2002)
2001
5EEJeff Polakow, Kwangkeun Yi: Proving Syntactic Properties of Exceptions in an Ordered Logical Framework. FLOPS 2001: 61-77
2000
4 Jeff Polakow, Kwangkeun Yi: Proving Syntactic Properties of Exceptions in an Ordered Logical Framework. APLAS 2000: 23-32
3EEJeff Polakow: Linear logic programming with an ordered context. PPDP 2000: 68-79
1999
2EEJeff Polakow, Frank Pfenning: Natural Deduction for Intuitionistic Non-communicative Linear Logic. TLCA 1999: 295-309
1996
1EEJoshua S. Hodas, Jeffrey Polakow: Forum as a Logic Programming Language. Electr. Notes Theor. Comput. Sci. 3: (1996)

Coauthor Index

1Sébastien Carlier [10]
2Joshua S. Hodas [1] [6] [7]
3Assaf J. Kfoury (A. J. Kfoury) [10]
4Pablo López [6] [7] [9] [11]
5Alberto Momigliano [8]
6Frank Pfenning [2] [11]
7Ernesto Pimentel [6] [7]
8Christian Skalka [13]
9Lubomira Stoilova [6] [7]
10Kevin Watkins [11]
11J. B. Wells [10]
12Kwangkeun Yi [4] [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)