|
|
|
|
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.  |
MSFP@ETAPS  |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Garcia de Oliveira, Mauro Jaskelioff, Ana Cristina Vieira de Melo |
On Structuring Functional Programs with Monoidal Profunctors. |
MSFP@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Kourzanov |
Tableless Calculation of Circular Functions on Dyadic Rationals. |
MSFP@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Dylan McDermott, Tarmo Uustalu |
What Makes a Strong Monad? |
MSFP@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Elsman, Fritz Henglein, Robin Kaarsgaard, Mikkel Kragh Mathiesen, Robert Schenck |
Combinatory Adjoints and Differentiation. |
MSFP@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Fritz Henglein, Robin Kaarsgaard, Mikkel Kragh Mathiesen |
The Programming of Algebra. |
MSFP@ETAPS |
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. |
MSFP@ETAPS |
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. |
MSFP@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Niels F. W. Voorneveld |
From Equations to Distinctions: Two Interpretations of Effectful Computations. |
MSFP@ETAPS |
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. |
MSFP@ETAPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Baanen, Wouter Swierstra |
Combining predicate transformer semantics for effects: a case study in parsing regular languages. |
MSFP@ETAPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominic Orchard, Philip Wadler, Harley Eades III |
Unifying graded and parameterised monads. |
MSFP@ETAPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Artjoms Sinkarovs |
Multi-dimensional Arrays with Levels. |
MSFP@ETAPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Jenkins, Aaron Stump, Larry Diehl |
Efficient lambda encodings for Mendler-style coinductive types in Cedille. |
MSFP@ETAPS |
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. |
MSFP@ETAPS |
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. |
MSFP@ETAPS |
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. |
MSFP@ETAPS |
2012 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #17 of 17 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license