Jeff Polakow
Affiliations:- Carnegie Mellon University, Pittsburgh, USA
According to our database1,
Jeff Polakow
authored at least 15 papers
between 1996 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
0
1
2
3
1
1
1
1
1
1
2
1
2
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2017
Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017
2016
2015
Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, 2015
2006
J. Log. Comput., 2006
Proceedings of the 2006 Workshop on Programming Languages and Analysis for Security, 2006
2005
Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005
2004
Proceedings of the Logic for Programming, 2004
System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types.
Proceedings of the Programming Languages and Systems, 2004
2003
A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines.
Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003
2002
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.
Proceedings of the Computer Science Logic, 16th International Workshop, 2002
2000
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.
Proceedings of the First Asian Workshop on Programming Languages and Systems, 2000
1999
Proceedings of the Typed Lambda Calculi and Applications, 4th International Conference, 1999
1996
Proceedings of the Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29, 1996