Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Robert Atkey" ( http://dblp.L3S.de/Authors/Robert_Atkey )

  Author page on DBLP  Author page in RDF  Community of Robert Atkey in ASPL-2

Publication years (Num. hits)
2004-2012 (12)
Publication types (Num. hits)
article(3) inproceedings(9)
Venues (Conferences, Journals, ...)
FoSSaCS(2) CALCO(1) Electr. Notes Theor. Comput. S...(1) ESOP(1) Haskell(1) ICALP(1) J. Funct. Program.(1) Logical Methods in Computer Sc...(1) TGC(1) TLCA(1) TYPES(1)
Authors
Robert Atkey(12) Neil Ghani(2) Patricia Johann(2) Bart Jacobs(1) David Aspinall(1) Donald Sannella(1) Jeremy Yallop(1) Kenneth MacKenzie(1) Sam Lindley(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords
Results
Found 12 publication records. Showing 12 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Robert Atkey, Neil Ghani, Bart Jacobs, Patricia Johann Fibrational Induction Meets Effects. Search on Bibsonomy FoSSaCS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Robert Atkey What is a Categorical Model of Arrows? Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Robert Atkey Amortised Resource Analysis with Separation Logic Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Robert Atkey, Patricia Johann, Neil Ghani When Is a Type Refinement an Inductive Type? Search on Bibsonomy FOSSACS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1David Aspinall, Robert Atkey, Kenneth MacKenzie, Donald Sannella Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode. Search on Bibsonomy TGC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Robert Atkey Amortised Resource Analysis with Separation Logic. Search on Bibsonomy ESOP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Robert Atkey Parameterised notions of computation. Search on Bibsonomy J. Funct. Program. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Robert Atkey Syntax for Free: Representing Syntax with Binding Using Parametricity. Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Robert Atkey Algebras for Parameterised Monads. Search on Bibsonomy CALCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Robert Atkey, Sam Lindley, Jeremy Yallop Unembedding domain-specific languages. Search on Bibsonomy Haskell The full citation details ... 2009 DBLP  DOI  BibTeX  RDF unembedding, domain-specific languages, higher-order abstract syntax, type classes
1Robert Atkey CoqJVM: An Executable Specification of the Java Virtual Machine Using Dependent Types. Search on Bibsonomy TYPES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Robert Atkey A lambda-Calculus for Resource Separation. Search on Bibsonomy ICALP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #12 of 12 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.