Forum as a Logic Programming Language. - Joshua S. Hodas; Jeffrey Polakow (Linear Logic Tokyo Meeting, 1996)

Natural Deduction for Intuitionistic Non-communicative Linear Logic. - Jeff Polakow; Frank Pfenning (TLCA, 1999)

Proving Syntactic Properties of Exceptions in an Ordered Logical Framework. - Jeff Polakow; Kwangkeun Yi (APLAS, 2000)

Linear logic programming with an ordered context. - Jeff Polakow (PPDP, 2000)

A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming. - Joshua S. Hodas; Pablo López; Jeffrey Polakow; Lubomira Stoilova; Ernesto Pimentel 001 (CSL, 2002)

Isolating Resource Consumption in Linear Logic Proof Search. - Pablo López; Ernesto Pimentel 001; Joshua S. Hodas; Jeffrey Polakow; Lubomira Stoilova (LFM, 2002)

A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines. - Alberto Momigliano; Jeff Polakow (MERLIN, 2003)

System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types. - Sébastien Carlier; Jeff Polakow; J. B. Wells; A. J. Kfoury (ESOP, 2004)

Implementing Efficient Resource Management for Linear Logic Programming. - Pablo López; Jeff Polakow (LPAR, 2004)

Monadic concurrent linear logic programming. - Pablo López; Frank Pfenning; Jeff Polakow; Kevin Watkins (PPDP, 2005)

Specifying distributed trust management in LolliMon. - Jeff Polakow; Christian Skalka (PLAS, 2006)

Linearity Constraints as Bounded Intervals in Linear Logic Programming. - Jeff Polakow (J. Log. Comput., 2006)

Embedding a full linear Lambda calculus in Haskell. - Jeff Polakow (Haskell, 2015)

Verified Parallel String Matching in Haskell. - Niki Vazou; Jeff Polakow (CoRR, 2016)

A tale of two provers: verifying monoidal string matching in liquid Haskell and Coq. - Niki Vazou; Leonidas Lampropoulos; Jeff Polakow (Haskell, 2017)