According to our database1, John Maraist authored at least 14 papers between 1994 and 2021.
Legend:Book In proceedings Article PhD thesis Dataset Other
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
Proceedings of the Workshops of the The Thirty-First AAAI Conference on Artificial Intelligence, 2017
Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2012
Proceedings of the International Lisp Conference, 2010
Proceedings of the 20th International Conference on Automated Planning and Scheduling, 2010
Proceedings of the 42st Hawaii International International Conference on Systems Science (HICSS-42 2009), 2009
Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, 2008
Separating Weakening and Contraction in a Linear Lambda Calculus.
Proceedings of Computing: The Fourth Australasian Theory Symposium (CATS'98), 1998
Comparing reduction strategies in resource-conscious lambda calculi.
PhD thesis, 1997
Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995
Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995
A Graph Reduction Technique with Sharing across Narrowings for Functional-Logic Languages.
Proceedings of the Programming Language Implementation and Logic Programming, 1994