|
|
|
|
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.  |
MSFP  |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Maciej Piróg |
Eilenberg-Moore Monoids and Backtracking Monad Transformers. |
MSFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Satoshi Matsuoka |
Strong Typed Boehm Theorem and Functional Completeness on the Linear Lambda Calculus. |
MSFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Danel Ahman, Tarmo Uustalu |
Directed Containers as Categories. |
MSFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Firsov, Tarmo Uustalu, Niccolò Veltri |
Variations on Noetherianness. |
MSFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hicks 0001, Gavin M. Bierman, Nataliya Guts, Daan Leijen, Nikhil Swamy |
Polymonadic Programming. |
MSFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Tarmo Uustalu |
Coherence for Skew-Monoidal Categories. |
MSFP |
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. |
MSFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Baltasar Trancón y Widemann, Markus Lepper 0001 |
Foundations of Total Functional Data-Flow Programming. |
MSFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Jeltsch |
Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion. |
MSFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Capriotti, Ambrus Kaposi |
Free Applicative Functors. |
MSFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jules Hedges |
Monad Transformers for Backtracking Search. |
MSFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Daan Leijen |
Koka: Programming with Row Polymorphic Effect Types. |
MSFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | José Pedro Magalhães, Andres Löh |
A Formal Comparison of Approaches to Datatype-Generic Programming |
MSFP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauro Jaskelioff, Ondrej Rypacek |
An Investigation of the Laws of Traversals |
MSFP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Maciej Piróg, Jeremy Gibbons |
Tracing monadic computations and representing effects |
MSFP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomas Petricek 0001 |
Evaluation strategies for monadic computations |
MSFP |
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 |
MSFP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Wouter Swierstra |
From Mathematics to Abstract Machine: A formal derivation of an executable Krivine machine |
MSFP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Bahr, Tom Hvitved |
Parametric Compositional Data Types |
MSFP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Casinghino, Vilhelm Sjöberg, Stephanie Weirich |
Step-Indexed Normalization for a Language with General Recursion |
MSFP |
2012 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #21 of 21 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license