Jeff Polakow

Jeffrey Polakow

	2006
13		Jeff Polakow, Christian Skalka: Specifying distributed trust management in LolliMon. PLAS 2006: 37-46
12		Jeff Polakow: Linearity Constraints as Bounded Intervals in Linear Logic Programming. J. Log. Comput. 16(1): 135-155 (2006)
	2005
11		Pablo López, Frank Pfenning, Jeff Polakow, Kevin Watkins: Monadic concurrent linear logic programming. PPDP 2005: 35-46
	2004
10		Sé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
9		Pablo López, Jeff Polakow: Implementing Efficient Resource Management for Linear Logic Programming. LPAR 2004: 528-543
	2003
8		Alberto Momigliano, Jeff Polakow: A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines. MERLIN 2003
	2002
7		Joshua 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
6		Pablo 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
5		Jeff 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
3		Jeff Polakow: Linear logic programming with an ordered context. PPDP 2000: 68-79
	1999
2		Jeff Polakow, Frank Pfenning: Natural Deduction for Intuitionistic Non-communicative Linear Logic. TLCA 1999: 295-309
	1996
1		Joshua S. Hodas, Jeffrey Polakow: Forum as a Logic Programming Language. Electr. Notes Theor. Comput. Sci. 3: (1996)

Coauthor Index

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

Colors in the list of coauthors