Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

28

ICFP
2003
ACM

favoriteEmaildiscussreport

112views Programming Languages» more ICFP 2003»

A modal foundation for meta-variables

14 years 11 months ago

A modal foundation for meta-variables

Download www.cs.cmu.edu

We report on work in progress regarding a foundation for the notion of meta-variable in logical frameworks and type theories. Our proposal is to treat meta-variables as modal variables in a modal type theory, which is logically clean and justifies several low-level implementation techniques for meta-variables. We also speculate on other logical extensions of our modal type theory, at present without clear applications.

Aleksandar Nanevski, Brigitte Pientka, Frank Pfenn

Real-time Traffic

ICFP 2003 | Low-level Implementation Techniques | Modal Type Theory | Modal Variables | Programming Languages |

claim paper

Related Content

» Distributed Control Flow with Classical Modal Logic

» Modal Aspects of Object Types and PartWhole Relations and the de rede dicto Distinction

» A Modal Logic Framework for HumanComputer Spoken Interaction

» Optimal Tableau Algorithms for Coalgebraic Logics

» Foundations of Modal Deductive Databases

» Modal Provability Foundations for Negation by Failure

» Coalgebraic Correspondence Theory

» Combinations of Modal Logics

» Specifying Performance Measures for PEPA

Post Info
More Details (n/a)

Added	13 Dec 2009
Updated	13 Dec 2009
Type	Conference
Year	2003
Where	ICFP
Authors	Aleksandar Nanevski, Brigitte Pientka, Frank Pfenning

Comments (0)