Jeff Polakow

13 papers A 1B 2C 4Misc 1Journal 2Unranked 3
YearRankTypeTitle / Venue / Authors
2017 C conf
A tale of two provers: verifying monoidal string matching in liquid Haskell and Coq.
Haskell
Niki Vazou, Leonidas Lampropoulos, Jeff Polakow
2016 J jnl
Verified Parallel String Matching in Haskell.
CoRR
Niki Vazou, Jeff Polakow
2015 C conf
Embedding a full linear Lambda calculus in Haskell.
Haskell
Jeff Polakow
2006 J jnl
Linearity Constraints as Bounded Intervals in Linear Logic Programming.
J. Log. Comput.
Jeff Polakow
2006 — conf
Specifying distributed trust management in LolliMon.
PLAS
Jeff Polakow, Christian Skalka
2005 C conf
Monadic concurrent linear logic programming.
PPDP
Pablo López, Frank Pfenning, Jeff Polakow, Kevin Watkins
2004 B conf
Implementing Efficient Resource Management for Linear Logic Programming.
LPAR
Pablo López, Jeff Polakow
2004 A conf
System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types.
ESOP
Sébastien Carlier, Jeff Polakow, J. B. Wells, A. J. Kfoury
2003 — conf
A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines.
MERLIN
Alberto Momigliano, Jeff Polakow
2001 Misc conf
Proving Syntactic Properties of Exceptions in an Ordered Logical Framework.
FLOPS
Jeff Polakow, Kwangkeun Yi
2000 C conf
Linear logic programming with an ordered context.
PPDP
Jeff Polakow
2000 B conf
Proving Syntactic Properties of Exceptions in an Ordered Logical Framework.
APLAS
Jeff Polakow, Kwangkeun Yi
1999 — conf
Natural Deduction for Intuitionistic Non-communicative Linear Logic.
TLCA
Jeff Polakow, Frank Pfenning