`Travelled to:`

1 × Italy

1 × Japan

1 × Portugal

1 × Spain

`Collaborated with:`

∅ F.Pfenning K.Yi N.Vazou L.Lampropoulos P.López K.Watkins S.Carlier J.B.Wells A.J.Kfoury

`Talks about:`

linear (6) logic (4) type (3) program (2) haskel (2) order (2) non (2) intuitionist (1) intersect (1) framework (1)

## Person: Jeff Polakow

### DBLP: Polakow:Jeff

### Contributed to:

### Wrote 7 papers:

- PPDP-2005-LopezPPW #concurrent #linear #logic programming #monad
- Monadic concurrent linear logic programming (PL, FP, JP, KW), pp. 35–46.
- ESOP-2004-CarlierPWK #flexibility #linear #type system
- System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types (SC, JP, JBW, AJK), pp. 294–309.
- FLOPS-2001-PolakovY #exception #framework #logic #order #proving
- Proving Syntactic Properties of Exceptions in an Ordered Logical Framework (JP, KY), pp. 61–77.
- PPDP-2000-Polakow #linear #logic programming #order
- Linear logic programming with an ordered context (JP), pp. 68–79.
- TLCA-1999-PolakowP #deduction #linear #logic
- Natural Deduction for Intuitionistic Non-communicative Linear Logic (JP, FP), pp. 295–309.
- Haskell-2015-Polakow #haskell #linear #λ-calculus
- Embedding a full linear Lambda calculus in Haskell (JP), pp. 177–188.
- Haskell-2017-VazouLP #coq #haskell #proving #string #verification
- A tale of two provers: verifying monoidal string matching in liquid Haskell and Coq (NV, LL, JP), pp. 63–74.