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