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