|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 44 publication records. Showing 44 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alejandro Serrano 0001, Flavio Corpa |
Describing microservices using modern Haskell (experience report).  |
Haskell@ICFP  |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Armando Santos, José N. Oliveira |
Type your matrices for great good: a Haskell library of typed matrices and applications (functional pearl). |
Haskell@ICFP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ningning Xie, Daan Leijen |
Effect handlers in Haskell, evidently. |
Haskell@ICFP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Nachiappan Valliappan, Robert Krook, Alejandro Russo, Koen Claessen |
Towards secure IoT programming in Haskell. |
Haskell@ICFP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers (eds.) |
Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2020, Virtual Event, USA, August 7, 2020 |
Haskell@ICFP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrej Ivaskovic, Alan Mycroft |
A graded Monad for deadlock-free concurrency (functional pearl). |
Haskell@ICFP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Pickering, Andres Löh, Nicolas Wu |
Staged sums of products. |
Haskell@ICFP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Parès, Jean-Philippe Bernardy, Richard A. Eisenberg |
Composing effects into tasks and workflows. |
Haskell@ICFP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Stuart |
Scripted signal functions. |
Haskell@ICFP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Koen Claessen |
Finger trees explained anew, and slightly simplified (functional pearl). |
Haskell@ICFP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard A. Eisenberg |
Stitch: the sound type-indexed type checker (functional pearl). |
Haskell@ICFP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Noam Zilberstein |
Eliminating bugs with dependent Haskell (experience report). |
Haskell@ICFP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sander Kamps, Bastiaan Heeren, Johan Jeuring |
Assessing the quality of evolving Haskell systems by measuring structural inequality. |
Haskell@ICFP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers, Maciej Piróg, Nicolas Wu, Mauro Jaskelioff |
Monad transformers and modular algebraic effects: what binds them together. |
Haskell@ICFP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Downen, Zachary Sullivan, Zena M. Ariola, Simon Peyton Jones |
Making a faster Curry with extensional types. |
Haskell@ICFP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Ertel, Justus Adam, Norman A. Rink, Andrés Goens, Jerónimo Castrillón |
STCLang: state thread composition as a foundation for monadic dataflow parallelism. |
Haskell@ICFP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | William T. Hallahan, Anton Xue, Ruzica Piskac |
G2Q: Haskell constraint solving. |
Haskell@ICFP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrey Mokhov, Georgy Lukyanov, Jakob Lechner |
Formal verification of spacecraft control programs (experience report). |
Haskell@ICFP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard A. Eisenberg (eds.) |
Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2019, Berlin, Germany, August 18-23, 2019 |
Haskell@ICFP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Pickering, Nicolas Wu, Boldizsár Németh |
Working with source plugins. |
Haskell@ICFP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Christiansen, Sandra Dylus, Niels Bunkenburg |
Verifying effectful Haskell programs in Coq. |
Haskell@ICFP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Ekblad |
Scoping monadic relational database queries. |
Haskell@ICFP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Pickering, Nicolas Wu, Csongor Kiss |
Multi-stage programs in context. |
Haskell@ICFP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominique Devriese |
Modular effects in Haskell through effect polymorphism and explicit dictionary applications: a new approach and the μVeriFast verifier as a case study. |
Haskell@ICFP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Finkbeiner, Felix Klein 0001, Ruzica Piskac, Mark Santolucito |
Synthesizing functional reactive programs. |
Haskell@ICFP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Koen Pauwels, Georgios Karachalias, Michiel Derhaeg, Tom Schrijvers |
Bidirectional type class instances. |
Haskell@ICFP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryan G. Scott, Ryan R. Newton |
Generic and flexible defaults for verified, law-abiding type-class instances. |
Haskell@ICFP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Divesh Otwani, Richard A. Eisenberg |
The Thoralf plugin: for your fancy type needs. |
Haskell@ICFP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Marilyn Sun, Kathleen Fisher |
Autobahn 2.0: minimizing bangs while maintaining performance (system demonstration). |
Haskell@ICFP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Bärenz, Ivan Perez 0001 |
Rhine: FRP with type-level clocks. |
Haskell@ICFP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin A. T. Handley, Graham Hutton |
AutoBench: comparing the time performance of Haskell programs. |
Haskell@ICFP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Dong Han, Tao He |
A high-performance multicore IO manager based on libuv (experience report). |
Haskell@ICFP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthías Páll Gissurarson |
Suggesting valid hole fits for typed-holes (experience report). |
Haskell@ICFP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard A. Eisenberg, Joachim Breitner, Simon Peyton Jones |
Type variables in patterns. |
Haskell@ICFP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Agustín Mista, Alejandro Russo, John Hughes 0001 |
Branching processes for QuickCheck generators. |
Haskell@ICFP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Martínez, Mauro Jaskelioff, Guido De Luca |
Improving typeclass relations by being open. |
Haskell@ICFP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Alejandro Serrano 0001, Victor Cacciari Miraldo |
Generic programming of all kinds. |
Haskell@ICFP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazutaka Matsuda, Meng Wang 0002 |
Embedding invertible languages with binders: a case of the FliPpr language. |
Haskell@ICFP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Baldur Blöndal, Andres Löh, Ryan Scott |
Deriving via: or, how to turn hand-written instances into an anti-pattern. |
Haskell@ICFP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Noonan |
Ghosts of departed proofs (functional pearl). |
Haskell@ICFP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Breitner |
A promise checked is a promise kept: inspection testing. |
Haskell@ICFP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Winant, Dominique Devriese |
Coherent explicit dictionary application for Haskell. |
Haskell@ICFP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Wu (eds.) |
Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2018, St. Louis, MO, USA, September 27-17, 2018 |
Haskell@ICFP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Niki Vazou, Joachim Breitner, Rose Kunkel, David Van Horn, Graham Hutton |
Theorem proving for all: equational reasoning in liquid Haskell (functional pearl). |
Haskell@ICFP |
2018 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #44 of 44 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license