The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

URL (DBLP): http://dblp.uni-trier.de/db/journals/corr

Publication years (Num. hits)
2012 (8) 2014 (8) 2016 (5)
Publication types (Num. hits)
inproceedings(21)
Venues (Conferences, Journals, ...)
MSFP(21)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 21 publication records. Showing 21 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Bartek Klin, Michal Szynwelski SMT Solving for Functional Programming over Infinite Structures. Search on Bibsonomy MSFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Maciej Piróg Eilenberg-Moore Monoids and Backtracking Monad Transformers. Search on Bibsonomy MSFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Satoshi Matsuoka Strong Typed Boehm Theorem and Functional Completeness on the Linear Lambda Calculus. Search on Bibsonomy MSFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Danel Ahman, Tarmo Uustalu Directed Containers as Categories. Search on Bibsonomy MSFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Denis Firsov, Tarmo Uustalu, Niccolò Veltri Variations on Noetherianness. Search on Bibsonomy MSFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Michael Hicks 0001, Gavin M. Bierman, Nataliya Guts, Daan Leijen, Nikhil Swamy Polymonadic Programming. Search on Bibsonomy MSFP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Tarmo Uustalu Coherence for Skew-Monoidal Categories. Search on Bibsonomy MSFP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Andreas Abel 0001, James Chapman 0001 Normalization by Evaluation in the Delay Monad: A Case Study for Coinduction via Copatterns and Sized Types. Search on Bibsonomy MSFP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Baltasar Trancón y Widemann, Markus Lepper 0001 Foundations of Total Functional Data-Flow Programming. Search on Bibsonomy MSFP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Wolfgang Jeltsch Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion. Search on Bibsonomy MSFP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Paolo Capriotti, Ambrus Kaposi Free Applicative Functors. Search on Bibsonomy MSFP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jules Hedges Monad Transformers for Backtracking Search. Search on Bibsonomy MSFP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Daan Leijen Koka: Programming with Row Polymorphic Effect Types. Search on Bibsonomy MSFP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1José Pedro Magalhães, Andres Löh A Formal Comparison of Approaches to Datatype-Generic Programming Search on Bibsonomy MSFP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mauro Jaskelioff, Ondrej Rypacek An Investigation of the Laws of Traversals Search on Bibsonomy MSFP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Maciej Piróg, Jeremy Gibbons Tracing monadic computations and representing effects Search on Bibsonomy MSFP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Tomas Petricek 0001 Evaluation strategies for monadic computations Search on Bibsonomy MSFP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Vilhelm Sjöberg, Chris Casinghino, Ki Yung Ahn, Nathan Collins, Harley D. Eades III, Peng Fu 0001, Garrin Kimmell, Tim Sheard, Aaron Stump, Stephanie Weirich Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems Search on Bibsonomy MSFP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Wouter Swierstra From Mathematics to Abstract Machine: A formal derivation of an executable Krivine machine Search on Bibsonomy MSFP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Patrick Bahr, Tom Hvitved Parametric Compositional Data Types Search on Bibsonomy MSFP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Chris Casinghino, Vilhelm Sjöberg, Stephanie Weirich Step-Indexed Normalization for a Language with General Recursion Search on Bibsonomy MSFP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #21 of 21 (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