Alan J. Martin

According to our database, Alan J. Martin authored at least 2 papers between 2007 and 2011.

Collaborative distances:

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

2011

An Improved Implementation and Abstract Interface for Hybrid

Alan J. Martin, Amy P. Felty

Proceedings of the Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, 2011

2007

Two-Level Hybrid: A System for Reasoning Using Higher-Order Abstract Syntax.

Alberto Momigliano, Alan J. Martin, Amy P. Felty

Proceedings of the Second International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2007