Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "MSFP@ICALP"( http://dblp.L3S.de/Venues/MSFP@ICALP )

URL (DBLP): http://dblp.uni-trier.de/db/conf/msfp

Publication years (Num. hits)
2008 (9) 2011 (1)
Publication types (Num. hits)
inproceedings(9) proceedings(1)
Venues (Conferences, Journals, ...)
MSFP@ICALP(10)
Authors
Conor McBride(2) Venanzio Capretta(2) Alcino Cunha(1) Andreas Abel 0001(1) Benoît Razet(1) Bernard Fotsing(1) Éric Badouel(1) Graham Hutton(1) Hugo Pacheco 0001(1) Jeremy Yallop(1) Mauro Jaskelioff(1) Neil Ghani(1) Philip Wadler(1) Robert Atkey(1) Rodrigue Tchougong(1) Sam Lindley(1) More (+10 of total 19)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 10 publication records. Showing 10 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Venanzio Capretta, Conor McBride (eds.) Proceedings of the Second Workshop on Mathematically Structured Functional Programming, MSFP@ICALP 2008, Reykjavik, Iceland, July 6, 2008 Search on Bibsonomy MSFP@ICALP The full citation details ... 2011 DBLP  BibTeX  RDF
1Tarmo Uustalu, Varmo Vene The Recursion Scheme from the Cofree Recursive Comonad. Search on Bibsonomy MSFP@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Alcino Cunha, Hugo Pacheco 0001 Algebraic Specialization of Generic Functions for Recursive Types. Search on Bibsonomy MSFP@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Venanzio Capretta, Conor McBride Preface. Search on Bibsonomy MSFP@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Sam Lindley, Philip Wadler, Jeremy Yallop Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous. Search on Bibsonomy MSFP@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Robert Atkey What is a Categorical Model of Arrows? Search on Bibsonomy MSFP@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Benoît Razet Simulating Finite Eilenberg Machines with a Reactive Engine. Search on Bibsonomy MSFP@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Éric Badouel, Bernard Fotsing, Rodrigue Tchougong Attribute Grammars as Recursion Schemes over Cyclic Representations of Zippers. Search on Bibsonomy MSFP@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Mauro Jaskelioff, Neil Ghani, Graham Hutton Modularity and Implementation of Mathematical Operational Semantics. Search on Bibsonomy MSFP@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Andreas Abel 0001, Thorsten Altenkirch A Partial Type Checking Algorithm for Type: Type. Search on Bibsonomy MSFP@ICALP The full citation details ... 2008 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