|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 17 publication records. Showing 17 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Joris Ceulemans, Andreas Nuyts, Dominique Devriese |
Sikkel: Multimode Simple Type Theory as an Agda Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP@ETAPS ![In: Proceedings Ninth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2022, Munich, Germany, 2nd April 2022., pp. 93-112, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Garcia de Oliveira, Mauro Jaskelioff, Ana Cristina Vieira de Melo |
On Structuring Functional Programs with Monoidal Profunctors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP@ETAPS ![In: Proceedings Ninth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2022, Munich, Germany, 2nd April 2022., pp. 134-150, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Peter Kourzanov |
Tableless Calculation of Circular Functions on Dyadic Rationals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP@ETAPS ![In: Proceedings Ninth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2022, Munich, Germany, 2nd April 2022., pp. 45-70, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Dylan McDermott, Tarmo Uustalu |
What Makes a Strong Monad? ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP@ETAPS ![In: Proceedings Ninth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2022, Munich, Germany, 2nd April 2022., pp. 113-133, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Martin Elsman, Fritz Henglein, Robin Kaarsgaard, Mikkel Kragh Mathiesen, Robert Schenck |
Combinatory Adjoints and Differentiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP@ETAPS ![In: Proceedings Ninth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2022, Munich, Germany, 2nd April 2022., pp. 1-26, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Fritz Henglein, Robin Kaarsgaard, Mikkel Kragh Mathiesen |
The Programming of Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP@ETAPS ![In: Proceedings Ninth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2022, Munich, Germany, 2nd April 2022., pp. 71-92, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Mathieu Montin, Amélie Ledein, Catherine Dubois |
LibNDT: Towards a Formal Library on Spreadable Properties over Linked Nested Datatypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP@ETAPS ![In: Proceedings Ninth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2022, Munich, Germany, 2nd April 2022., pp. 27-44, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy Gibbons, Max S. New (eds.) |
Proceedings Ninth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2022, Munich, Germany, 2nd April 2022. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP@ETAPS ![The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Niels F. W. Voorneveld |
From Equations to Distinctions: Two Interpretations of Effectful Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP@ETAPS ![In: Proceedings Eighth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2020, Dublin, Ireland, 25th April 2020., pp. 1-17, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Max S. New, Sam Lindley (eds.) |
Proceedings Eighth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2020, Dublin, Ireland, 25th April 2020. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP@ETAPS ![The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Anne Baanen, Wouter Swierstra |
Combining predicate transformer semantics for effects: a case study in parsing regular languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP@ETAPS ![In: Proceedings Eighth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2020, Dublin, Ireland, 25th April 2020., pp. 39-56, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Dominic Orchard, Philip Wadler, Harley Eades III |
Unifying graded and parameterised monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP@ETAPS ![In: Proceedings Eighth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2020, Dublin, Ireland, 25th April 2020., pp. 18-38, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Artjoms Sinkarovs |
Multi-dimensional Arrays with Levels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP@ETAPS ![In: Proceedings Eighth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2020, Dublin, Ireland, 25th April 2020., pp. 57-71, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Jenkins, Aaron Stump, Larry Diehl |
Efficient lambda encodings for Mendler-style coinductive types in Cedille. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP@ETAPS ![In: Proceedings Eighth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2020, Dublin, Ireland, 25th April 2020., pp. 72-97, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Robert Atkey, Neelakantan R. Krishnaswami (eds.) |
Proceedings 6th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2016, Eindhoven, Netherlands, 8th April 2016. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP@ETAPS ![The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Paul Blain Levy, Neel Krishnaswami (eds.) |
Proceedings 5th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2014, Grenoble, France, 12 April 2014. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP@ETAPS ![The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | James Chapman 0001, Paul Blain Levy (eds.) |
Proceedings Fourth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2012, Tallinn, Estonia, 25 March 2012. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP@ETAPS ![The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #17 of 17 (100 per page; Change: )
|
|