most citedAn Improved Implementation and Abstract Interface for Hybrid

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2011★ 1 cited

An Improved Implementation and Abstract Interface for Hybrid

Alan J. Martin, Amy P. Felty

Hybrid is a formal theory implemented in Isabelle/HOL that provides an interface for representing and reasoning about object languages using higher-order abstract syntax (HOAS). Th…