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) |