Eugene E. Kohlbecker
According to our database1,
Eugene E. Kohlbecker
authored at least 5 papers
between 1986 and 1998.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1998
1987
Proceedings of the Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, 1987
1986
Reasoning with Continuations
Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986
Proceedings of the 1986 ACM Conference on LISP and Functional Programming, 1986