default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMERLIN (ICFP 2005 Workshop): Tallinn, Estonia
- Randy Pollack:
ACM SIGPLAN International Conference on Functional Programming, Workshop on Mechanized reasoning about languages with variable binding, MERLIN 2005, Tallinn, Estonia, September 30, 2005. ACM 2005, ISBN 978-1-59593-072-9 - Frank Pfenning:
Towards a type theory of contexts. 1 - Aleksey Nogin
, Alexei Kopylov, Xin Yu, Jason Hickey:
A computational approach to reflective meta-reasoning about languages with bindings. 2-12 - Miki Tanaka, John Power:
A unified category-theoretic formulation of typed binding signatures. 13-24 - Christian Urban, Michael Norrish:
A formal treatment of the barendregt variable convention in rule inductions. 25-32 - James Cheney:
Toward a general theory of names: binding and scope. 33-40 - Marino Miculan, Ivan Scagnetto, Furio Honsell:
Translating specifications from nominal logic to CIC with the theory of contexts. 41-49 - Olha Shkaravska:
Types with semantics: soundness proof assistant. 50-57 - Kevin Donnelly, Hongwei Xi:
Combining higher-order abstract syntax with first-order abstract syntax in ATS. 58-63
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-09-20 00:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
