


default search action
LFMTP 2014: Vienna, Austria
- Amy P. Felty, Brigitte Pientka:

Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP '14, Vienna, Austria, July 17, 2014. ACM 2014, ISBN 978-1-4503-2817-3
Invited Talk Abstracts
- Jesper Bengtson:

Session Types Meet Separation Logic. 1: 1 - Edwin C. Brady:

Idris: Implementing a Dependently Typed Programming Language. 2: 1 - Gopalan Nadathur:

A Framework for the Verified Transformation of Functional Programs. 3: 1
Contributed Papers
- Thorsten Altenkirch

, Nuo Li, Ondrej Rypacek:
Some constructions on ω-groupoids. 4: 1-4: 8 - Abhishek Anand, Vincent Rahli

:
A Generic Approach to Proofs about Substitution. 5: 1-5: 8 - Taus Brock-Nannestad, Nicolas Guenot, Agata Murawska, Carsten Schürmann:

Hybrid Extensions in a Logical Framework. 6: 1-6: 8 - Iliano Cervesato:

Proof-Theoretic Foundations of Indexing in Logic Programming. 7: 1-7: 9 - Alberto Ciaffaglione, Ivan Scagnetto:

Internal Adequacy of Bookkeeping in Coq. 8: 1-8: 8 - Olivier Savary Bélanger, Kaustuv Chaudhuri:

Automatically Deriving Schematic Theorems for Dynamic Contexts. 9: 1-9: 8

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














