metatheory - researchr tag

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 38 from 38

2011

Mechanizing the metatheory of LFChristian Urban, James Cheney, Stefan Berghofer. tocl, 12(2):15, 2011. [doi]

OutsideIn(X) Modular type inference with local assumptionsDimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers, Martin Sulzmann. J. Funct. Program., 21(4-5):333-412, 2011.

2010

A Generic Operational Metatheory for Algebraic EffectsPatricia Johann, Alex Simpson, Janis Voigtländer. lics 2010: 209-218 [doi]

2008

Syntactic Metatheory of Higher-Order SubtypingAndreas Abel, Dulma Rodriguez. csl 2008: 446-460 [doi]

Engineering formal metatheoryBrian E. Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, Stephanie Weirich. POPL 2008: 3-15 [doi]

Mechanizing the Metatheory of LFChristian Urban, James Cheney, Stefan Berghofer. lics 2008: 45-56 [doi]

2007

A List-machine Benchmark for Mechanized Metatheory: (Extended Abstract)Andrew W. Appel, Xavier Leroy. ENTCS, 174(5):95-108, 2007. [doi]

Mechanized metatheory model-checkingJames Cheney, Alberto Momigliano. ppdp 2007: 75-86 [doi]

Automated testing of refactoring enginesBrett Daniel, Danny Dig, Kely Garcia, Darko Marinov. ESEC/FSE 2007: 185-194 [doi]

Mechanizing metatheory in a logical frameworkRobert Harper, Daniel R. Licata. JFP, 17(4-5):613-673, 2007. [doi]

Metatheory of actions: Beyond consistencyAndreas Herzig, Ivan José Varzinczak. ai, 171(16-17):951-984, 2007. [doi]

Towards a mechanized metatheory of standard MLDaniel K. Lee, Karl Crary, Robert Harper. POPL 2007: 173-184 [doi]

2005

2004

Formalized Metatheory with Terms Represented by an Indexed Family of TypesRobin Adams. TYPES 2006: 1-16 [doi]

2002

A Simplified Account of the Metatheory of Linear LFJoseph Vanderwaart, Karl Crary. ENTCS, 70(2):11-28, 2002. [doi]

2000

Structuring Metatheory on Inductive DefinitionsDavid A. Basin, Seán Matthews. iandc, 162(1-2):80-95, 2000.

1999

On studying information seeking methodologically: the implications of connecting metatheory to methodBrenda Dervin. ipm, 35(6):727-750, 1999.

Formal Metatheory using Implicit Syntax, and an Application to Data Abstraction for Asynchronous SystemsAmy P. Felty, Douglas J. Howe, Abhik Roychoudhury. cade 1999: 237-251 [doi]

Some Contributions to the Metatheory of the Situation CalculusFiora Pirri, Raymond Reiter. JACM, 46(3):325-361, 1999. [doi]

1998

Automating the Synthesis of Decision Procedures in a Constructive MetatheoryAlessandro Armando, Jason Gallagher, Alan Smaill, Alan Bundy. AMAI, 22(3-4):259-279, 1998.

Metatheory of Verification Calculi in LEGO - To what Extent Does Syntax Matter?Thomas Kleymann. TYPES 1999: 133-148 [doi]

Cognitive Robotics Logic and its Metatheory: Features and Fluents RevisitedErik Sandewall. etai, 2:307-329, 1998. [doi]

1997

Supererogation in Deontic Logic: Metatheory for DWE and Some Close NeighboursEdwin D. Mares, Paul McNamara. sLogica, 59(3):397-415, 1997.

From SOS Rules to Proof Principles: An Operational Metatheory for Functional LanguagesDavid Sands. POPL 1997: 428-441 [doi]

1996

Structuring Metatheory on Inductive DefinitionsDavid A. Basin, Seán Matthews. cade 1996: 171-185

A Metatheory of a Mechanized Object TheoryFausto Giunchiglia, Paolo Traverso. ai, 80(1-2):197-241, 1996. [doi]

1995

Database Metatheory: Asking the Big QueriesChristos H. Papadimitriou. PODS 1995: 1-10 [doi]

Tableaux for Intuitionistic Predicate Logic as MetatheoryJudith L. Underwood. tableaux 1995: 138-153

1994

The Metatheory of UTTHealfdene Goguen. TYPES 1995: 60-82

1993

Building and Executing Proof Strategies in a Formal MetatheoryAlessandro Armando, Alessandro Cimatti, Luca Viganò. aiia 1993: 11-22

1992

A Semiformal Metatheory for Fragmentary and Multilayered Knowledge as an Interactive Metalogic ProgramAndreas Hamfelt, Åke Hansson. fgcs 1992: 1107-1114

1991

Reflective Reasoning with and between a Declarative Metatheory and the Implementation CodeFausto Giunchiglia, Paolo Traverso. IJCAI 1991: 111-117

Toward a Metatheory of ActionVladimir Lifschitz. kr 1991: 376-386

1988

Computational Metatheory in NuprlDouglas J. Howe. cade 1988: 238-257

1985

The Metatheory of the Classical Propositional Calculus is not AxiomatizableIan A. Mason. JSYML, 50(2):451-457, 1985.

1982

An Example of FOL Using MetatheoryRichard W. Weyhrauch. cade 1982: 151-158

1967

Programming Languages and Computers: A Unified MetatheoryR. Narasimhan. ac, 8:189-245, 1967.

Sign in or sign up to see more results.

runs on WebDSL