Results
Found 168 publication records. Showing 168 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
64 | Liping Mu, Terje Gjøsæter, Andreas Prinz 0001, Merete Skjelten Tveit |
Specification of modelling languages in a flexible meta-model architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSA Companion Volume ![In: Software Architecture, 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Companion Volume, pp. 302-308, 2010, ACM, 978-1-4503-0179-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
meta-model architecture, MDA |
45 | Pierre-Alain Muller, Franck Fleurey, Jean-Marc Jézéquel |
Weaving Executability into Object-Oriented Meta-languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings, pp. 264-278, 2005, Springer, 3-540-29010-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
41 | Stéphane Ducasse, Tudor Gîrba |
Using Smalltalk as a Reflective Executable Meta-language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings, pp. 604-618, 2006, Springer, 3-540-45772-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
meta behavior description, reflective language, Smalltalk |
34 | Stéphane Ducasse, Tudor Gîrba, Adrian Kuhn, Lukas Renggli |
Meta-environment and executable meta-language using smalltalk: an experience report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 8(1), pp. 5-19, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Meta behavior description, Reflective language, Executable modeling language, Smalltalk |
34 | Hanne Riis Nielson, Flemming Nielson |
Pragmatic Aspects of Two-Level Denotational Meta-Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings, pp. 133-143, 1986, Springer, 3-540-16442-1. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
33 | Wade Holst |
Meta: a universal meta-language for augmenting and unifying language families, featuring meta(oopl) for object-oriented programming languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA, pp. 120-121, 2005, ACM, 1-59593-193-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
language interoperability, object-oriented, language design, meta-programming, meta-languages |
29 | Eric Van Wyk |
Meta Languages in Algebraic Compilers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, pp. 119-134, 2000, Springer, 3-540-67530-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Eelco Visser |
Meta-programming with Concrete Object Syntax. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002, Proceedings, pp. 299-315, 2002, Springer, 3-540-44284-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Carsten Schürmann |
Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings, pp. 22-23, 2004, Springer, 3-540-21402-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Peter D. Mosses |
Engineering meta-languages for specifying software languages (keynote). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLE ![In: Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2017, Vancouver, BC, Canada, October 23-24, 2017, pp. 1, 2017, ACM, 978-1-4503-5525-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Howard Barringer, Graham Gough, Derek Brough, Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter, Richard Owens, Peter McBrien, Mark Reynolds 0001, Michael Fisher 0001 |
Languages, Meta-languages and METATEM, A Discussion Paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 4(2), pp. 255-272, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Henning Christiansen 0001 |
Adaptable Grammars for Non-Context-Free Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (1) ![In: Bio-Inspired Systems: Computational and Ambient Intelligence, 10th International Work-Conference on Artificial Neural Networks, IWANN 2009, Salamanca, Spain, June 10-12, 2009. Proceedings, Part I, pp. 488-495, 2009, Springer, 978-3-642-02477-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Raymond Flood, Bob Lockhart |
Teaching programming collaboratively. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2005, Caparica, Portugal, June 27-29, 2005, pp. 321-324, 2005, ACM, 1-59593-024-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
classroom dialogue, teaching programming concepts, collaborative learning, problem-based learning, meta-languages |
17 | Valeria Vittorini, Mauro Iacono, Nicola Mazzocca, Giuliana Franceschinis |
The OsMoSys approach to multi-formalism modeling of systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 3(1), pp. 68-81, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Multi-formalism modeling, Object orientation, Compositionality, Meta-languages |
17 | Judith Levenson, Frank Helwig |
The META compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 4(9), pp. 405, 1961. The full citation details ...](Pics/full.jpeg) |
1961 |
DBLP DOI BibTeX RDF |
compilers, programming languages, meta languages |
16 | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
A semantic framework for metamodel-based languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 16(3-4), pp. 415-454, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Semantic (meta-)hooking, Weaving behaviour, Formal methods, Metamodelling, Model driven engineering, Abstract state machines, Model-based development, Language semantics |
13 | Peter D. Mosses |
Online Name-Based Navigation for Software Meta-languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.06121, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Alberto Ciaffaglione, Carlos Olarte (eds.) |
Proceedings of the 18th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2023, Rome, Italy, 2nd July 2023. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP@FSCD ![The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Peter D. Mosses |
Online Name-Based Navigation for Software Meta-languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLE ![In: Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2023, Cascais, Portugal, October 23-24, 2023, pp. 220-225, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Antoine Gaulin, Brigitte Pientka |
Contextual Refinement Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP@FSCD ![In: Proceedings of the 18th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2023, Rome, Italy, 2nd July 2023., pp. 4-19, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | James T. Oswald, Brandon Rozek |
Parallel Verification of Natural Deduction Proof Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP@FSCD ![In: Proceedings of the 18th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2023, Rome, Italy, 2nd July 2023., pp. 36-51, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Félix Castro |
An Interpretation of E-HAw inside HAw. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP@FSCD ![In: Proceedings of the 18th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2023, Rome, Italy, 2nd July 2023., pp. 52-66, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Johanna Schwartzentruber, Brigitte Pientka |
Semi-Automation of Meta-Theoretic Proofs in Beluga. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP@FSCD ![In: Proceedings of the 18th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2023, Rome, Italy, 2nd July 2023., pp. 20-35, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Claudio Sacerdoti Coen, Alwen Tiu (eds.) |
Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2020, Paris, France, 29th June 2020. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Elaine Pimentel, Enrico Tassi (eds.) |
Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2021, Pittsburgh, USA, 16th July 2021. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Giselle Reis |
Facilitating Meta-Theory Reasoning (Invited Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2021, Pittsburgh, USA, 16th July 2021., pp. 1-12, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Matthieu Sozeau |
Touring the MetaCoq Project (Invited Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2021, Pittsburgh, USA, 16th July 2021., pp. 13-29, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Johannes Schoisswohl, Laura Kovács |
Automating Induction by Reflection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2021, Pittsburgh, USA, 16th July 2021., pp. 39-54, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Gilles Dowek |
Interacting Safely with an Unsafe Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2021, Pittsburgh, USA, 16th July 2021., pp. 30-38, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Laila El-Beheiry, Giselle Reis, Ammar Karkour |
SMLtoCoq: Automated Generation of Coq Specifications and Proof Obligations from SML Programs with Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2021, Pittsburgh, USA, 16th July 2021., pp. 71-87, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Mary Southern, Gopalan Nadathur |
Adelfa: A System for Reasoning about LF Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2021, Pittsburgh, USA, 16th July 2021., pp. 104-120, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Qinxiang Cao, Xiwei Wu |
Countability of Inductive Types Formalized in the Object-Logic Level. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2021, Pittsburgh, USA, 16th July 2021., pp. 55-70, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Florian Rabe 0001, Navid Roux |
Systematic Translation of Formalizations of Type Theory from Intrinsic to Extrinsic Style. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2021, Pittsburgh, USA, 16th July 2021., pp. 88-103, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Dennis Müller 0001, Florian Rabe 0001, Colin Rothgang, Michael Kohlhase |
Representing Structural Language Features in Formal Meta-languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings, pp. 206-221, 2020, Springer, 978-3-030-53517-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Arve Gengelbach, Johannes Åman Pohjola, Tjark Weber |
Mechanisation of Model-theoretic Conservative Extension for HOL with Ad-hoc Overloading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2020, Paris, France, 29th June 2020., pp. 1-17, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Petros Papapanagiotou, Jacques D. Fleuriot |
Object-Level Reasoning with Logics Encoded in HOL Light. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2020, Paris, France, 29th June 2020., pp. 18-34, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Bruno Barras, Valentin Maestracci |
Implementation of Two Layers Type Theory in Dedukti and Application to Cubical Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2020, Paris, France, 29th June 2020., pp. 54-67, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger |
Deductive Systems and Coherence for Skew Prounital Closed Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2020, Paris, France, 29th June 2020., pp. 35-53, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Dale Miller 0001, Ivan Scagnetto (eds.) |
Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@LICS 2019, Vancouver, Canada, 22nd June 2019. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP@LICS ![The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Michael Kohlhase, Jan Frederik Schaefer |
GF + MMT = GLF - From Language to Semantics through LF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP@LICS ![In: Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@LICS 2019, Vancouver, Canada, 22nd June 2019., pp. 24-39, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Aaron Stump |
A Weakly Initial Algebra for Higher-Order Abstract Syntax in Cedille. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP@LICS ![In: Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@LICS 2019, Vancouver, Canada, 22nd June 2019., pp. 55-67, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Fabio Alessi, Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Marina Lenisa |
A Definitional Implementation of the Lax Logical Framework LLFP in Coq, for Supporting Fast and Loose Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP@LICS ![In: Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@LICS 2019, Vancouver, Canada, 22nd June 2019., pp. 8-23, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Dennis Müller 0001, Florian Rabe 0001 |
Rapid Prototyping Formal Systems in MMT: 5 Case Studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP@LICS ![In: Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@LICS 2019, Vancouver, Canada, 22nd June 2019., pp. 40-54, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Iliano Cervesato, Kaustuv Chaudhuri |
Preface - Special Issue on Logical Frameworks and Meta-Languages 2015. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 28(9), pp. 1506, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Frédéric Blanqui, Giselle Reis (eds.) |
Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2018, Oxford, UK, 7th July 2018. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP@FSCD ![The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Rainer Koschke, Urs-Bjorn Schmidt, Bernhard J. Berger |
[Engineering Paper] Built-in Clone Detection in Meta Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAM ![In: 18th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2018, Madrid, Spain, September 23-24, 2018, pp. 165-170, 2018, IEEE Computer Society, 978-1-5386-8290-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | François Thiré |
Sharing a Library between Proof Assistants: Reaching out to the HOL Family. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP@FSCD ![In: Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2018, Oxford, UK, 7th July 2018., pp. 57-71, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Ernesto Copello, Nora Szasz, Álvaro Tasistro |
Formalisation in Constructive Type Theory of Barendregt's Variable Convention for Generic Structures with Binders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP@FSCD ![In: Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2018, Oxford, UK, 7th July 2018., pp. 11-26, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Carlo Angiuli, Evan Cavallo, Kuen-Bang Hou (Favonia), Robert Harper 0001, Jonathan Sterling |
The RedPRL Proof Assistant (Invited Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP@FSCD ![In: Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2018, Oxford, UK, 7th July 2018., pp. 1-10, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Rodolphe Lepigre, Christophe Raffalli |
Abstract Representation of Binders in OCaml using the Bindlib Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP@FSCD ![In: Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2018, Oxford, UK, 7th July 2018., pp. 42-56, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Martín Copes, Nora Szasz, Álvaro Tasistro |
Formalization in Constructive Type Theory of the Standardization Theorem for the Lambda Calculus using Multiple Substitution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP@FSCD ![In: Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2018, Oxford, UK, 7th July 2018., pp. 27-41, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Alexander Lier, Kai Selgrad, Marc Stamminger |
DIY Meta Languages with Common Lisp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELS ![In: Proceedings of the 10th European Lisp Symposium (ELS 2017), Brussels, Belgium, April 3-4, 2017., pp. 72-79, 2017, ELSAA, 978-2-9557474-1-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
13 | Gabriël Konat, Sebastian Erdweg, Eelco Visser |
Bootstrapping domain-specific meta-languages in language workbenches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2016, Amsterdam, The Netherlands, October 31 - November 1, 2016, pp. 47-58, 2016, ACM, 978-1-4503-4446-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Gilles Dowek, Daniel R. Licata, Sandra Alves (eds.) |
Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2016, Porto, Portugal, June 23, 2016 ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![ACM, 978-1-4503-4777-8 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Cvetan Dunchev, Claudio Sacerdoti Coen, Enrico Tassi |
Implementing HOL in an Higher Order Logic Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2016, Porto, Portugal, June 23, 2016, pp. 4:1-4:10, 2016, ACM, 978-1-4503-4777-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Raphaël Cauderlier |
A Rewrite System for Proof Constructivization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2016, Porto, Portugal, June 23, 2016, pp. 2:1-2:7, 2016, ACM, 978-1-4503-4777-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Joachim Breitner |
The Incredible Proof Machine (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2016, Porto, Portugal, June 23, 2016, pp. 5:1, 2016, ACM, 978-1-4503-4777-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Rohan Jacob-Rao, Andrew Cave, Brigitte Pientka |
Mechanizing Proofs about Mendler-style Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2016, Porto, Portugal, June 23, 2016, pp. 1:1-1:9, 2016, ACM, 978-1-4503-4777-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Chelsea Battell, Amy P. Felty |
The Logic of Hereditary Harrop Formulas as a Specification Logic for Hybrid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2016, Porto, Portugal, June 23, 2016, pp. 3:1-3:10, 2016, ACM, 978-1-4503-4777-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Iliano Cervesato, Kaustuv Chaudhuri (eds.) |
Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice, LFMTP 2015, Berlin, Germany, 1 August 2015. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto |
Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice, LFMTP 2015, Berlin, Germany, 1 August 2015., pp. 3-17, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Andrew Cave, Brigitte Pientka |
A Case Study on Logical Relations using Contextual Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice, LFMTP 2015, Berlin, Germany, 1 August 2015., pp. 33-45, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Roly Perera, James Cheney |
Proof-relevant pi-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice, LFMTP 2015, Berlin, Germany, 1 August 2015., pp. 46-70, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Nicolas Guenot, Daniel Gustafsson |
Sequent Calculus and Equational Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice, LFMTP 2015, Berlin, Germany, 1 August 2015., pp. 102-109, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Ronan Saillard |
Rewriting Modulo βin the λΠ-Calculus Modulo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice, LFMTP 2015, Berlin, Germany, 1 August 2015., pp. 87-101, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Amy P. Felty, Alberto Momigliano, Brigitte Pientka |
An Open Challenge Problem Repository for Systems Supporting Binders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice, LFMTP 2015, Berlin, Germany, 1 August 2015., pp. 18-32, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Amy P. Felty, Brigitte Pientka (eds.) |
Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP '14, Vienna, Austria, July 17, 2014 ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![ACM, 978-1-4503-2817-3 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Iliano Cervesato |
Proof-Theoretic Foundations of Indexing in Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP '14, Vienna, Austria, July 17, 2014, pp. 7: 1-7: 9, 2014, ACM, 978-1-4503-2817-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Gopalan Nadathur |
A Framework for the Verified Transformation of Functional Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP '14, Vienna, Austria, July 17, 2014, pp. 3: 1, 2014, ACM, 978-1-4503-2817-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Taus Brock-Nannestad, Nicolas Guenot, Agata Murawska, Carsten Schürmann 0001 |
Hybrid Extensions in a Logical Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP '14, Vienna, Austria, July 17, 2014, pp. 6: 1-6: 8, 2014, ACM, 978-1-4503-2817-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Jesper Bengtson |
Session Types Meet Separation Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP '14, Vienna, Austria, July 17, 2014, pp. 1: 1, 2014, ACM, 978-1-4503-2817-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Olivier Savary Bélanger, Kaustuv Chaudhuri |
Automatically Deriving Schematic Theorems for Dynamic Contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP '14, Vienna, Austria, July 17, 2014, pp. 9: 1-9: 8, 2014, ACM, 978-1-4503-2817-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Abhishek Anand, Vincent Rahli |
A Generic Approach to Proofs about Substitution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP '14, Vienna, Austria, July 17, 2014, pp. 5: 1-5: 8, 2014, ACM, 978-1-4503-2817-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Alberto Ciaffaglione, Ivan Scagnetto |
Internal Adequacy of Bookkeeping in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP '14, Vienna, Austria, July 17, 2014, pp. 8: 1-8: 8, 2014, ACM, 978-1-4503-2817-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Thorsten Altenkirch, Nuo Li, Ondrej Rypacek |
Some constructions on ω-groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP '14, Vienna, Austria, July 17, 2014, pp. 4: 1-4: 8, 2014, ACM, 978-1-4503-2817-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Edwin C. Brady |
Idris: Implementing a Dependently Typed Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP '14, Vienna, Austria, July 17, 2014, pp. 2: 1, 2014, ACM, 978-1-4503-2817-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Jean-Marc Jézéquel, Benoît Combemale, Olivier Barais, Martin Monperrus, François Fouquet |
Mashup of Meta-Languages and its Implementation in the Kermeta Language Workbench. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1306.0760, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
13 | Alberto Momigliano, Brigitte Pientka, Randy Pollack (eds.) |
Proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-languages: Theory & Practice, LFMTP 2013, Boston, Massachusetts, USA, September 23, 2013 ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![ACM, 978-1-4503-2382-6 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Ulrik Terp Rasmussen, Andrzej Filinski |
Structural logical relations with case analysis and equality reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-languages: Theory & Practice, LFMTP 2013, Boston, Massachusetts, USA, September 23, 2013, pp. 43-54, 2013, ACM, 978-1-4503-2382-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Mahfuza Farooque, Stéphane Graham-Lengrand, Assia Mahboubi |
A bisimulation between DPLL(T) and a proof-search strategy for the focused sequent calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-languages: Theory & Practice, LFMTP 2013, Boston, Massachusetts, USA, September 23, 2013, pp. 3-14, 2013, ACM, 978-1-4503-2382-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Andrew Cave, Brigitte Pientka |
First-class substitutions in contextual type theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-languages: Theory & Practice, LFMTP 2013, Boston, Massachusetts, USA, September 23, 2013, pp. 15-24, 2013, ACM, 978-1-4503-2382-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Dale Miller 0001 |
Foundational proof certificates: making proof universal and permanent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-languages: Theory & Practice, LFMTP 2013, Boston, Massachusetts, USA, September 23, 2013, pp. 1-2, 2013, ACM, 978-1-4503-2382-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Furio Honsell |
25 years of formal proof cultures: some problems, some philosophy, bright future. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-languages: Theory & Practice, LFMTP 2013, Boston, Massachusetts, USA, September 23, 2013, pp. 37-42, 2013, ACM, 978-1-4503-2382-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Yuting Wang 0001, Gopalan Nadathur |
Towards extracting explicit proofs from totality checking in twelf. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-languages: Theory & Practice, LFMTP 2013, Boston, Massachusetts, USA, September 23, 2013, pp. 55-66, 2013, ACM, 978-1-4503-2382-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Floris van Doorn, Herman Geuvers, Freek Wiedijk |
Explicit convertibility proofs in pure type systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-languages: Theory & Practice, LFMTP 2013, Boston, Massachusetts, USA, September 23, 2013, pp. 25-36, 2013, ACM, 978-1-4503-2382-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Herman Geuvers, Gopalan Nadathur (eds.) |
Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP 2011, Nijmegen, The Netherlands, August 26, 2011. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
13 | Ranald Clouston |
Nominal Logic with Equations Only ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP 2011, Nijmegen, The Netherlands, August 26, 2011., pp. 44-57, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
13 | Andreas Abel 0001, Nicolai Kraus |
A Lambda Term Representation Inspired by Linear Ordered Logic ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP 2011, Nijmegen, The Netherlands, August 26, 2011., pp. 1-13, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
13 | Murdoch James Gabbay, Dominic P. Mulligan |
Nominal Henkin Semantics: simply-typed lambda-calculus models in nominal sets ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP 2011, Nijmegen, The Netherlands, August 26, 2011., pp. 58-75, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
13 | Maxime Beauquier, Carsten Schürmann |
A Bigraph Relational Model ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP 2011, Nijmegen, The Netherlands, August 26, 2011., pp. 14-28, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
13 | Alan J. Martin, Amy P. Felty |
An Improved Implementation and Abstract Interface for Hybrid ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP 2011, Nijmegen, The Netherlands, August 26, 2011., pp. 76-90, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
13 | Mathieu Boespflug, Brigitte Pientka |
Multi-level Contextual Type Theory ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP 2011, Nijmegen, The Netherlands, August 26, 2011., pp. 29-43, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
13 | Karl Crary, Marino Miculan (eds.) |
Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP 2010, Edinburgh, UK, 14th July 2010. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
13 | David Broman |
Meta-Languages and Semantics for Equation-Based Modeling and Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
13 | Daniel R. Licata, Robert Harper 0001 |
A Monadic Formalization of ML5 ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP 2010, Edinburgh, UK, 14th July 2010., pp. 69-83, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
13 | Maribel Fernández, Murdoch James Gabbay |
Closed nominal rewriting and efficiently computable nominal algebra equality ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP 2010, Edinburgh, UK, 14th July 2010., pp. 37-51, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
13 | Anders Schack-Nielsen, Carsten Schürmann |
Pattern Unification for the Lambda Calculus with Linear and Affine Types ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP 2010, Edinburgh, UK, 14th July 2010., pp. 101-116, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
13 | Herman Geuvers, Robbert Krebbers, James McKinna, Freek Wiedijk |
Pure Type Systems without Explicit Contexts ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP 2010, Edinburgh, UK, 14th July 2010., pp. 53-67, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
13 | John Tang Boyland |
Generating Bijections between HOAS and the Natural Numbers ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP 2010, Edinburgh, UK, 14th July 2010., pp. 21-35, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
13 | Florian Rabe 0001 |
Representing Isabelle in LF ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP 2010, Edinburgh, UK, 14th July 2010., pp. 85-99, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 168 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |