Jeff Polakow (Selection)

Jeffrey Polakow

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

11 Pablo López, Frank Pfenning, Jeff Polakow, Kevin Watkins: Monadic concurrent linear logic programming. PPDP 2005: 35-46

9 Pablo López, Jeff Polakow: Implementing Efficient Resource Management for Linear Logic Programming. LPAR 2004: 528-543

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)

Selection of 4 from 13 records - Jeff Polakow has 12 coauthors

11		Pablo López, Frank Pfenning, Jeff Polakow, Kevin Watkins: Monadic concurrent linear logic programming. PPDP 2005: 35-46
9		Pablo López, Jeff Polakow: Implementing Efficient Resource Management for Linear Logic Programming. LPAR 2004: 528-543
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)