Jeff Polakow

According to our database, Jeff Polakow authored at least 15 papers between 1996 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

A tale of two provers: verifying monoidal string matching in liquid Haskell and Coq.

Niki Vazou, Leonidas Lampropoulos, Jeff Polakow

Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017

2016

Verified Parallel String Matching in Haskell.

Niki Vazou, Jeff Polakow

CoRR, 2016

2015

Embedding a full linear Lambda calculus in Haskell.

Jeff Polakow

Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, 2015

2006

Linearity Constraints as Bounded Intervals in Linear Logic Programming.

Jeff Polakow

J. Log. Comput., 2006

Specifying distributed trust management in LolliMon.

Jeff Polakow, Christian Skalka

Proceedings of the 2006 Workshop on Programming Languages and Analysis for Security, 2006

2005

Monadic concurrent linear logic programming.

Pablo López, Frank Pfenning, Jeff Polakow, Kevin Watkins

Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005

2004

Implementing Efficient Resource Management for Linear Logic Programming.

Pablo López, Jeff Polakow

Proceedings of the Logic for Programming, 2004

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

Proceedings of the Programming Languages and Systems, 2004

2003

A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines.

Alberto Momigliano, Jeff Polakow

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

2002

Isolating Resource Consumption in Linear Logic Proof Search.

Pablo López, Ernesto Pimentel, Joshua S. Hodas, Jeffrey Polakow, Lubomira Stoilova

Proceedings of the International Workshop on Logical Frameworks and Meta-Languages, 2002

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

Proceedings of the Computer Science Logic, 16th International Workshop, 2002

2000

Linear logic programming with an ordered context.

Jeff Polakow

Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, 2000

Proving Syntactic Properties of Exceptions in an Ordered Logical Framework.

Jeff Polakow, Kwangkeun Yi

Proceedings of the First Asian Workshop on Programming Languages and Systems, 2000

1999

Natural Deduction for Intuitionistic Non-communicative Linear Logic.

Jeff Polakow, Frank Pfenning

Proceedings of the Typed Lambda Calculi and Applications, 4th International Conference, 1999

1996

Forum as a Logic Programming Language.

Joshua S. Hodas, Jeffrey Polakow

Proceedings of the Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29, 1996