|
|
Venues (Conferences, Journals, ...)
|
|
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 |
1 | Bartek Klin, Michal Szynwelski |
SMT Solving for Functional Programming over Infinite Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP ![In: Proceedings 6th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2016, Eindhoven, Netherlands, 8th April 2016., pp. 57-75, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Maciej Piróg |
Eilenberg-Moore Monoids and Backtracking Monad Transformers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP ![In: Proceedings 6th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2016, Eindhoven, Netherlands, 8th April 2016., pp. 23-56, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Satoshi Matsuoka |
Strong Typed Boehm Theorem and Functional Completeness on the Linear Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP ![In: Proceedings 6th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2016, Eindhoven, Netherlands, 8th April 2016., pp. 1-22, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Danel Ahman, Tarmo Uustalu |
Directed Containers as Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP ![In: Proceedings 6th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2016, Eindhoven, Netherlands, 8th April 2016., pp. 89-98, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Denis Firsov, Tarmo Uustalu, Niccolò Veltri |
Variations on Noetherianness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP ![In: Proceedings 6th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2016, Eindhoven, Netherlands, 8th April 2016., pp. 76-88, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Michael Hicks 0001, Gavin M. Bierman, Nataliya Guts, Daan Leijen, Nikhil Swamy |
Polymonadic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP ![In: Proceedings 5th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2014, Grenoble, France, 12 April 2014., pp. 79-99, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tarmo Uustalu |
Coherence for Skew-Monoidal Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP ![In: Proceedings 5th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2014, Grenoble, France, 12 April 2014., pp. 68-77, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Andreas 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](Pics/bibsonomy.png) |
MSFP ![In: Proceedings 5th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2014, Grenoble, France, 12 April 2014., pp. 51-67, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Baltasar Trancón y Widemann, Markus Lepper 0001 |
Foundations of Total Functional Data-Flow Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP ![In: Proceedings 5th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2014, Grenoble, France, 12 April 2014., pp. 143-167, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Jeltsch |
Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP ![In: Proceedings 5th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2014, Grenoble, France, 12 April 2014., pp. 127-142, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Capriotti, Ambrus Kaposi |
Free Applicative Functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP ![In: Proceedings 5th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2014, Grenoble, France, 12 April 2014., pp. 2-30, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jules Hedges |
Monad Transformers for Backtracking Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP ![In: Proceedings 5th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2014, Grenoble, France, 12 April 2014., pp. 31-50, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Daan Leijen |
Koka: Programming with Row Polymorphic Effect Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP ![In: Proceedings 5th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2014, Grenoble, France, 12 April 2014., pp. 100-126, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | José Pedro Magalhães, Andres Löh |
A Formal Comparison of Approaches to Datatype-Generic Programming ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP ![In: Proceedings Fourth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2012, Tallinn, Estonia, 25 March 2012., pp. 50-67, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mauro Jaskelioff, Ondrej Rypacek |
An Investigation of the Laws of Traversals ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP ![In: Proceedings Fourth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2012, Tallinn, Estonia, 25 March 2012., pp. 40-49, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Maciej Piróg, Jeremy Gibbons |
Tracing monadic computations and representing effects ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP ![In: Proceedings Fourth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2012, Tallinn, Estonia, 25 March 2012., pp. 90-111, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tomas Petricek 0001 |
Evaluation strategies for monadic computations ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP ![In: Proceedings Fourth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2012, Tallinn, Estonia, 25 March 2012., pp. 68-89, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Vilhelm 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](Pics/bibsonomy.png) |
MSFP ![In: Proceedings Fourth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2012, Tallinn, Estonia, 25 March 2012., pp. 112-162, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Wouter Swierstra |
From Mathematics to Abstract Machine: A formal derivation of an executable Krivine machine ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP ![In: Proceedings Fourth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2012, Tallinn, Estonia, 25 March 2012., pp. 163-177, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Bahr, Tom Hvitved |
Parametric Compositional Data Types ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP ![In: Proceedings Fourth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2012, Tallinn, Estonia, 25 March 2012., pp. 3-24, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Chris Casinghino, Vilhelm Sjöberg, Stephanie Weirich |
Step-Indexed Normalization for a Language with General Recursion ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP ![In: Proceedings Fourth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2012, Tallinn, Estonia, 25 March 2012., pp. 25-39, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #21 of 21 (100 per page; Change: )
|
|