Jeff Polakow

Publication Activity (10 Years)

Years Active: 1999-2017
Publications (10 Years): 3

Top Topics

Lambda Calculus

Functional Programming

Top Venues

Publications

Niki Vazou, Leonidas Lampropoulos, Jeff Polakow
A tale of two provers: verifying monoidal string matching in liquid Haskell and Coq. Haskell (2017)
Niki Vazou, Jeff Polakow
Verified Parallel String Matching in Haskell. CoRR (2016)
Jeff Polakow
Embedding a full linear Lambda calculus in Haskell. Haskell (2015)
Jeff Polakow, Christian Skalka
Specifying distributed trust management in LolliMon. PLAS (2006)
Jeff Polakow
Linearity Constraints as Bounded Intervals in Linear Logic Programming. J. Log. Comput. 16 (1) (2006)
Pablo López, Frank Pfenning, Jeff Polakow, Kevin Watkins
Monadic concurrent linear logic programming. PPDP (2005)
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)
Pablo López, Jeff Polakow
Implementing Efficient Resource Management for Linear Logic Programming. LPAR (2004)
Alberto Momigliano, Jeff Polakow
A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines. MERLIN (2003)
Jeff Polakow, Kwangkeun Yi
Proving Syntactic Properties of Exceptions in an Ordered Logical Framework. FLOPS (2001)
Jeff Polakow, Kwangkeun Yi
Proving Syntactic Properties of Exceptions in an Ordered Logical Framework. APLAS (2000)
Jeff Polakow
Linear logic programming with an ordered context. PPDP (2000)
Jeff Polakow, Frank Pfenning
Natural Deduction for Intuitionistic Non-communicative Linear Logic. TLCA (1999)