Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding - MERLIN '05
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

1595930728

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Types with semantics

Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding - MERLIN '05 ◽

10.1145/1088454.1088461 ◽

2005 ◽

Author(s):

Olha Shkaravska

Download Full-text

A unified category-theoretic formulation of typed binding signatures

Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding - MERLIN '05 ◽

10.1145/1088454.1088457 ◽

2005 ◽

Cited By ~ 6

Author(s):

Miki Tanaka ◽

John Power

Download Full-text

Translating specifications from nominal logic to CIC with the theory of contexts

Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding - MERLIN '05 ◽

10.1145/1088454.1088460 ◽

2005 ◽

Cited By ~ 4

Author(s):

Marino Miculan ◽

Ivan Scagnetto ◽

Furio Honsell

Keyword(s):

Nominal Logic

Download Full-text

A computational approach to reflective meta-reasoning about languages with bindings

Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding - MERLIN '05 ◽

10.1145/1088454.1088456 ◽

2005 ◽

Cited By ~ 7

Author(s):

Aleksey Nogin ◽

Alexei Kopylov ◽

Xin Yu ◽

Jason Hickey

Keyword(s):

Computational Approach

Download Full-text

Toward a general theory of names

Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding - MERLIN '05 ◽

10.1145/1088454.1088459 ◽

2005 ◽

Cited By ~ 11

Author(s):

James Cheney

Keyword(s):

General Theory

Download Full-text

A formal treatment of the barendregt variable convention in rule inductions

Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding - MERLIN '05 ◽

10.1145/1088454.1088458 ◽

2005 ◽

Cited By ~ 8

Author(s):

Christian Urban ◽

Michael Norrish

Keyword(s):

Formal Treatment

Download Full-text

Towards a type theory of contexts

Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding - MERLIN '05 ◽

10.1145/1088454.1088455 ◽

2005 ◽

Author(s):

Frank Pfenning

Keyword(s):

Type Theory

Download Full-text

Combining higher-order abstract syntax with first-order abstract syntax in ATS

Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding - MERLIN '05 ◽

10.1145/1088454.1088462 ◽

2005 ◽

Cited By ~ 4

Author(s):

Kevin Donnelly ◽

Hongwei Xi

Keyword(s):

Higher Order ◽

Abstract Syntax ◽

First Order

Download Full-text

Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding - MERLIN '05Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Types with semantics

A unified category-theoretic formulation of typed binding signatures

Translating specifications from nominal logic to CIC with the theory of contexts

A computational approach to reflective meta-reasoning about languages with bindings

Toward a general theory of names

A formal treatment of the barendregt variable convention in rule inductions

Towards a type theory of contexts

Combining higher-order abstract syntax with first-order abstract syntax in ATS

Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding - MERLIN '05
Latest Publications