The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase meta-languages (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1961-2002 (20) 2003-2004 (15) 2005-2006 (17) 2007-2008 (15) 2009-2010 (24) 2011-2013 (16) 2014-2015 (17) 2016-2018 (17) 2019-2021 (20) 2023 (7)
Publication types (Num. hits)
article(8) incollection(1) inproceedings(141) phdthesis(2) proceedings(16)
Venues (Conferences, Journals, ...)
LFMTP(71) LFMTP@CADE(12) LFMTP@FLoC(12) LFM(11) LFM@IJCAR(11) LFMTP@FSCD(11) LFMTP@LICS(5) CoRR(2) GPCE(2) MoDELS(2) SLE(2) Softw. Syst. Model.(2) AMAST(1) Autom. Softw. Eng.(1) CICM(1) Commun. ACM(1) More (+10 of total 35)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 29 occurrences of 22 keywords

Results
Found 168 publication records. Showing 168 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
64Liping Mu, Terje Gjøsæter, Andreas Prinz 0001, Merete Skjelten Tveit Specification of modelling languages in a flexible meta-model architecture. Search on Bibsonomy ECSA Companion Volume The full citation details ... 2010 DBLP  DOI  BibTeX  RDF meta-model architecture, MDA
45Pierre-Alain Muller, Franck Fleurey, Jean-Marc Jézéquel Weaving Executability into Object-Oriented Meta-languages. Search on Bibsonomy MoDELS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
41Stéphane Ducasse, Tudor Gîrba Using Smalltalk as a Reflective Executable Meta-language. Search on Bibsonomy MoDELS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF meta behavior description, reflective language, Smalltalk
34Stéphane Ducasse, Tudor Gîrba, Adrian Kuhn, Lukas Renggli Meta-environment and executable meta-language using smalltalk: an experience report. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Meta behavior description, Reflective language, Executable modeling language, Smalltalk
34Hanne Riis Nielson, Flemming Nielson Pragmatic Aspects of Two-Level Denotational Meta-Languages. Search on Bibsonomy ESOP The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
33Wade Holst Meta: a universal meta-language for augmenting and unifying language families, featuring meta(oopl) for object-oriented programming languages. Search on Bibsonomy OOPSLA Companion The full citation details ... 2005 DBLP  DOI  BibTeX  RDF language interoperability, object-oriented, language design, meta-programming, meta-languages
29Eric Van Wyk Meta Languages in Algebraic Compilers. Search on Bibsonomy AMAST The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
27Eelco Visser Meta-programming with Concrete Object Syntax. Search on Bibsonomy GPCE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
25Carsten Schürmann Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework. Search on Bibsonomy FLOPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
20Peter D. Mosses Engineering meta-languages for specifying software languages (keynote). Search on Bibsonomy SLE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
20Howard 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 Log. J. IGPL The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
19Henning Christiansen 0001 Adaptable Grammars for Non-Context-Free Languages. Search on Bibsonomy IWANN (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
17Raymond Flood, Bob Lockhart Teaching programming collaboratively. Search on Bibsonomy ITiCSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF classroom dialogue, teaching programming concepts, collaborative learning, problem-based learning, meta-languages
17Valeria Vittorini, Mauro Iacono, Nicola Mazzocca, Giuliana Franceschinis The OsMoSys approach to multi-formalism modeling of systems. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Multi-formalism modeling, Object orientation, Compositionality, Meta-languages
17Judith Levenson, Frank Helwig The META compiler. Search on Bibsonomy Commun. ACM The full citation details ... 1961 DBLP  DOI  BibTeX  RDF compilers, programming languages, meta languages
16Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra A semantic framework for metamodel-based languages. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Semantic (meta-)hooking, Weaving behaviour, Formal methods, Metamodelling, Model driven engineering, Abstract state machines, Model-based development, Language semantics
13Peter D. Mosses Online Name-Based Navigation for Software Meta-languages. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
13Alberto 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 LFMTP@FSCD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
13Peter D. Mosses Online Name-Based Navigation for Software Meta-languages. Search on Bibsonomy SLE The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
13Antoine Gaulin, Brigitte Pientka Contextual Refinement Types. Search on Bibsonomy LFMTP@FSCD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
13James T. Oswald, Brandon Rozek Parallel Verification of Natural Deduction Proof Graphs. Search on Bibsonomy LFMTP@FSCD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
13Félix Castro An Interpretation of E-HAw inside HAw. Search on Bibsonomy LFMTP@FSCD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
13Johanna Schwartzentruber, Brigitte Pientka Semi-Automation of Meta-Theoretic Proofs in Beluga. Search on Bibsonomy LFMTP@FSCD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
13Claudio 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 LFMTP The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
13Elaine 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 LFMTP The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
13Giselle Reis Facilitating Meta-Theory Reasoning (Invited Paper). Search on Bibsonomy LFMTP The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
13Matthieu Sozeau Touring the MetaCoq Project (Invited Paper). Search on Bibsonomy LFMTP The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
13Johannes Schoisswohl, Laura Kovács Automating Induction by Reflection. Search on Bibsonomy LFMTP The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
13Gilles Dowek Interacting Safely with an Unsafe Environment. Search on Bibsonomy LFMTP The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
13Laila El-Beheiry, Giselle Reis, Ammar Karkour SMLtoCoq: Automated Generation of Coq Specifications and Proof Obligations from SML Programs with Contracts. Search on Bibsonomy LFMTP The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
13Mary Southern, Gopalan Nadathur Adelfa: A System for Reasoning about LF Specifications. Search on Bibsonomy LFMTP The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
13Qinxiang Cao, Xiwei Wu Countability of Inductive Types Formalized in the Object-Logic Level. Search on Bibsonomy LFMTP The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
13Florian Rabe 0001, Navid Roux Systematic Translation of Formalizations of Type Theory from Intrinsic to Extrinsic Style. Search on Bibsonomy LFMTP The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
13Dennis Müller 0001, Florian Rabe 0001, Colin Rothgang, Michael Kohlhase Representing Structural Language Features in Formal Meta-languages. Search on Bibsonomy CICM The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
13Arve Gengelbach, Johannes Åman Pohjola, Tjark Weber Mechanisation of Model-theoretic Conservative Extension for HOL with Ad-hoc Overloading. Search on Bibsonomy LFMTP The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
13Petros Papapanagiotou, Jacques D. Fleuriot Object-Level Reasoning with Logics Encoded in HOL Light. Search on Bibsonomy LFMTP The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
13Bruno Barras, Valentin Maestracci Implementation of Two Layers Type Theory in Dedukti and Application to Cubical Type Theory. Search on Bibsonomy LFMTP The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
13Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger Deductive Systems and Coherence for Skew Prounital Closed Categories. Search on Bibsonomy LFMTP The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
13Dale 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 LFMTP@LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
13Michael Kohlhase, Jan Frederik Schaefer GF + MMT = GLF - From Language to Semantics through LF. Search on Bibsonomy LFMTP@LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
13Aaron Stump A Weakly Initial Algebra for Higher-Order Abstract Syntax in Cedille. Search on Bibsonomy LFMTP@LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
13Fabio 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 LFMTP@LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
13Dennis Müller 0001, Florian Rabe 0001 Rapid Prototyping Formal Systems in MMT: 5 Case Studies. Search on Bibsonomy LFMTP@LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
13Iliano Cervesato, Kaustuv Chaudhuri Preface - Special Issue on Logical Frameworks and Meta-Languages 2015. Search on Bibsonomy Math. Struct. Comput. Sci. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
13Fré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 LFMTP@FSCD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
13Rainer Koschke, Urs-Bjorn Schmidt, Bernhard J. Berger [Engineering Paper] Built-in Clone Detection in Meta Languages. Search on Bibsonomy SCAM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
13François Thiré Sharing a Library between Proof Assistants: Reaching out to the HOL Family. Search on Bibsonomy LFMTP@FSCD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
13Ernesto Copello, Nora Szasz, Álvaro Tasistro Formalisation in Constructive Type Theory of Barendregt's Variable Convention for Generic Structures with Binders. Search on Bibsonomy LFMTP@FSCD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
13Carlo Angiuli, Evan Cavallo, Kuen-Bang Hou (Favonia), Robert Harper 0001, Jonathan Sterling The RedPRL Proof Assistant (Invited Paper). Search on Bibsonomy LFMTP@FSCD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
13Rodolphe Lepigre, Christophe Raffalli Abstract Representation of Binders in OCaml using the Bindlib Library. Search on Bibsonomy LFMTP@FSCD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
13Martí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 LFMTP@FSCD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
13Alexander Lier, Kai Selgrad, Marc Stamminger DIY Meta Languages with Common Lisp. Search on Bibsonomy ELS The full citation details ... 2017 DBLP  BibTeX  RDF
13Gabriël Konat, Sebastian Erdweg, Eelco Visser Bootstrapping domain-specific meta-languages in language workbenches. Search on Bibsonomy GPCE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
13Gilles 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 LFMTP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
13Cvetan Dunchev, Claudio Sacerdoti Coen, Enrico Tassi Implementing HOL in an Higher Order Logic Programming Language. Search on Bibsonomy LFMTP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
13Raphaël Cauderlier A Rewrite System for Proof Constructivization. Search on Bibsonomy LFMTP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
13Joachim Breitner The Incredible Proof Machine (Invited Talk). Search on Bibsonomy LFMTP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
13Rohan Jacob-Rao, Andrew Cave, Brigitte Pientka Mechanizing Proofs about Mendler-style Recursion. Search on Bibsonomy LFMTP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
13Chelsea Battell, Amy P. Felty The Logic of Hereditary Harrop Formulas as a Specification Logic for Hybrid. Search on Bibsonomy LFMTP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
13Iliano 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 LFMTP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
13Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks. Search on Bibsonomy LFMTP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
13Andrew Cave, Brigitte Pientka A Case Study on Logical Relations using Contextual Types. Search on Bibsonomy LFMTP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
13Roly Perera, James Cheney Proof-relevant pi-calculus. Search on Bibsonomy LFMTP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
13Nicolas Guenot, Daniel Gustafsson Sequent Calculus and Equational Programming. Search on Bibsonomy LFMTP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
13Ronan Saillard Rewriting Modulo βin the λΠ-Calculus Modulo. Search on Bibsonomy LFMTP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
13Amy P. Felty, Alberto Momigliano, Brigitte Pientka An Open Challenge Problem Repository for Systems Supporting Binders. Search on Bibsonomy LFMTP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
13Amy 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 LFMTP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
13Iliano Cervesato Proof-Theoretic Foundations of Indexing in Logic Programming. Search on Bibsonomy LFMTP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
13Gopalan Nadathur A Framework for the Verified Transformation of Functional Programs. Search on Bibsonomy LFMTP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
13Taus Brock-Nannestad, Nicolas Guenot, Agata Murawska, Carsten Schürmann 0001 Hybrid Extensions in a Logical Framework. Search on Bibsonomy LFMTP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
13Jesper Bengtson Session Types Meet Separation Logic. Search on Bibsonomy LFMTP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
13Olivier Savary Bélanger, Kaustuv Chaudhuri Automatically Deriving Schematic Theorems for Dynamic Contexts. Search on Bibsonomy LFMTP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
13Abhishek Anand, Vincent Rahli A Generic Approach to Proofs about Substitution. Search on Bibsonomy LFMTP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
13Alberto Ciaffaglione, Ivan Scagnetto Internal Adequacy of Bookkeeping in Coq. Search on Bibsonomy LFMTP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
13Thorsten Altenkirch, Nuo Li, Ondrej Rypacek Some constructions on ω-groupoids. Search on Bibsonomy LFMTP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
13Edwin C. Brady Idris: Implementing a Dependently Typed Programming Language. Search on Bibsonomy LFMTP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
13Jean-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 CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
13Alberto 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 LFMTP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
13Ulrik Terp Rasmussen, Andrzej Filinski Structural logical relations with case analysis and equality reasoning. Search on Bibsonomy LFMTP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
13Mahfuza 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 LFMTP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
13Andrew Cave, Brigitte Pientka First-class substitutions in contextual type theory. Search on Bibsonomy LFMTP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
13Dale Miller 0001 Foundational proof certificates: making proof universal and permanent. Search on Bibsonomy LFMTP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
13Furio Honsell 25 years of formal proof cultures: some problems, some philosophy, bright future. Search on Bibsonomy LFMTP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
13Yuting Wang 0001, Gopalan Nadathur Towards extracting explicit proofs from totality checking in twelf. Search on Bibsonomy LFMTP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
13Floris van Doorn, Herman Geuvers, Freek Wiedijk Explicit convertibility proofs in pure type systems. Search on Bibsonomy LFMTP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
13Herman 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 LFMTP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
13Ranald Clouston Nominal Logic with Equations Only Search on Bibsonomy LFMTP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
13Andreas Abel 0001, Nicolai Kraus A Lambda Term Representation Inspired by Linear Ordered Logic Search on Bibsonomy LFMTP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
13Murdoch James Gabbay, Dominic P. Mulligan Nominal Henkin Semantics: simply-typed lambda-calculus models in nominal sets Search on Bibsonomy LFMTP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
13Maxime Beauquier, Carsten Schürmann A Bigraph Relational Model Search on Bibsonomy LFMTP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
13Alan J. Martin, Amy P. Felty An Improved Implementation and Abstract Interface for Hybrid Search on Bibsonomy LFMTP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
13Mathieu Boespflug, Brigitte Pientka Multi-level Contextual Type Theory Search on Bibsonomy LFMTP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
13Karl 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 LFMTP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
13David Broman Meta-Languages and Semantics for Equation-Based Modeling and Simulation. Search on Bibsonomy 2010   RDF
13Daniel R. Licata, Robert Harper 0001 A Monadic Formalization of ML5 Search on Bibsonomy LFMTP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
13Maribel Fernández, Murdoch James Gabbay Closed nominal rewriting and efficiently computable nominal algebra equality Search on Bibsonomy LFMTP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
13Anders Schack-Nielsen, Carsten Schürmann Pattern Unification for the Lambda Calculus with Linear and Affine Types Search on Bibsonomy LFMTP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
13Herman Geuvers, Robbert Krebbers, James McKinna, Freek Wiedijk Pure Type Systems without Explicit Contexts Search on Bibsonomy LFMTP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
13John Tang Boyland Generating Bijections between HOAS and the Natural Numbers Search on Bibsonomy LFMTP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
13Florian Rabe 0001 Representing Isabelle in LF Search on Bibsonomy LFMTP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 168 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license