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:
2005
2004
20012000
1999
20152017Wrote 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.