ACM SIGPLAN International Conference on Functional Programming, Workshop on Mechanized reasoning about languages with variable binding, MERLIN 2005, Tallinn, Estonia, September 30, 2005 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Randy Pollack, editor, 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.

Conference: ICFP2005

Abstract is missing.

Towards a type theory of contextsFrank Pfenning. 1 [doi]

A computational approach to reflective meta-reasoning about languages with bindingsAleksey Nogin, Alexei Kopylov, Xin Yu, Jason Hickey. 2-12 [doi]

A unified category-theoretic formulation of typed binding signaturesMiki Tanaka, John Power. 13-24 [doi]

A formal treatment of the barendregt variable convention in rule inductionsChristian Urban, Michael Norrish. 25-32 [doi]

Toward a general theory of names: binding and scopeJames Cheney. 33-40 [doi]

Translating specifications from nominal logic to CIC with the theory of contextsMarino Miculan, Ivan Scagnetto, Furio Honsell. 41-49 [doi]

Types with semantics: soundness proof assistantOlha Shkaravska. 50-57 [doi]

Combining higher-order abstract syntax with first-order abstract syntax in ATSKevin Donnelly, Hongwei Xi. 58-63 [doi]

runs on WebDSL