The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for metaPRL with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1999-2006 (10)
Publication types (Num. hits)
article(1) inproceedings(8) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 12 occurrences of 6 keywords

Results
Found 10 publication records. Showing 10 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
157Jason Hickey, Aleksey Nogin, Robert L. Constable, Brian E. Aydemir, Eli Barzilay, Yegor Bryukhov, Richard Eaton, Adam Granicz, Alexei Kopylov, Christoph Kreitz, Vladimir Krupski, Lori Lorigo, Stephan Schmitt, Carl Witty, Xin Yu MetaPRL - A Modular Logical Environment. Search on Bibsonomy TPHOLs The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
56Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection. Search on Bibsonomy ICFP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF languages with bindings, mechanized reasoning, meta-theory, metaPRL, nuPRL, reflection, type theory, higher-order abstract syntax
56Aleksey Nogin, Alexei Kopylov, Xin Yu, Jason Hickey A computational approach to reflective meta-reasoning about languages with bindings. Search on Bibsonomy MERLIN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF MetaPRL, Nuprl, languages with bindings, programming language, reflection, experimentation, type theory, higher-order abstract syntax
42Jason J. Hickey The MetaPRL Logical Programming Environment. Search on Bibsonomy 2000   RDF
23Jason Hickey, Aleksey Nogin Formal compiler construction in a logical framework. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Formal compiler, Higher-order abstract syntax, Logical programming environment
23Jason Hickey, Aleksey Nogin, Adam Granicz Compiler implementation in a formal logical framework. Search on Bibsonomy MERLIN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF formal compiler, higher-order abstract syntax, logical programming environment
23Adam Granicz, Daniel M. Zimmerman, Jason Hickey Rewriting UNITY. Search on Bibsonomy RTA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
23Aleksey Nogin, Jason Hickey Sequent Schema for Derived Rules. Search on Bibsonomy TPHOLs The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
23Jason Hickey, Aleksey Nogin Fast Tactic-Based Theorem Proving. Search on Bibsonomy TPHOLs The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
23Jason Hickey Fault-Tolerant Distributed Theorem Proving. Search on Bibsonomy CADE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #10 of 10 (100 per page; Change: )
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