| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Minh Nguyen, Roly Perera, Meng Wang, Steven Ramsay |
Effect Handlers for Programmable Inference.  |
Haskell  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Finnbar Keating, Michael B. Gale |
This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Programs. |
Haskell |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Redmond, Lindsey Kuper |
An Exceptional Actor System (Functional Pearl). |
Haskell |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Perez 0001, Frank Dedden |
The Essence of Reactivity. |
Haskell |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhiroop Sarkar, Robert Krook, Alejandro Russo, Koen Claessen |
HasTEE: Programming Trusted Execution Environments with Haskell. |
Haskell |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ningning Xie |
Haskell for Choice-Based Learning (Keynote). |
Haskell |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Segev Elazar Mittelman, Aviel Resnick, Ivan Perez 0001, Alwyn E. Goodloe, Leonidas Lampropoulos |
Don't Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing. |
Haskell |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Takato Otsuka, Hideya Iwasaki |
Haskell Library for Safer Virtual Machine Introspection (Experience Report). |
Haskell |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Trevor L. McDonell, Niki Vazou (eds.) |
Proceedings of the 16th ACM SIGPLAN International Haskell Symposium, Haskell 2023, Seattle, WA, USA, September 8-9, 2023 |
Haskell |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsko de Vries |
falsify: Internal Shrinking Reimagined for Haskell. |
Haskell |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Wu |
The Evolution of Effects (Keynote). |
Haskell |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Celeste Hollenbeck, Michael F. P. O'Boyle, Michel Steuwer |
Investigating magic numbers: improving the inlining heuristic in the Glasgow Haskell Compiler. |
Haskell |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Lykourgos Mastorou, Nikolaos Papaspyrou, Niki Vazou |
Coinduction inductively: mechanizing coinductive proofs in Liquid Haskell. |
Haskell |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Henry Blanchette, Niki Vazou, Leonidas Lampropoulos |
Liquid proof macros. |
Haskell |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Gershom Bazerman |
A totally predictable outcome: an investigation of traversals of infinite structures. |
Haskell |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Apoorv Ingle, Alex Hubers, J. Garrett Morris |
Partial type constructors in practice. |
Haskell |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Trevor L. McDonell, Joshua D. Meredith, Gabriele Keller |
Embedded pattern matching. |
Haskell |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Niki Vazou, Michael Greenberg 0002 |
How to safely use extensionality in Liquid Haskell. |
Haskell |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Nadia Polikarpova (eds.) |
Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15 - 16, 2022 |
Haskell |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jamie Willis, Nicolas Wu, Tom Schrijvers |
Oregano: staging regular expressions with Moore Cayley fusion. |
Haskell |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesper Cockx, Orestis Melkonian, Lucas Escot, James Chapman 0001, Ulf Norell |
Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs. |
Haskell |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathas Augusto de Oliveira Conceição, André Rauber Du Bois, Samuel da Silva Feitosa, Gerson Geraldo Homrich Cavalheiro, Rodrigo Geraldo Ribeiro |
Open transactional actions: interacting with non-transactional resources in STM Haskell. |
Haskell |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Philippe Bernardy, Arnaud Spiwack |
Evaluating linear functions to symmetric monoidal categories. |
Haskell |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Toby Bailey, Michael B. Gale |
Chesskell: a two-player game at the type level. |
Haskell |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Nachiappan Valliappan, Alejandro Russo, Sam Lindley |
Practical normalization by evaluation for EDSLs. |
Haskell |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Gert-Jan Bottu, Richard A. Eisenberg |
Seeking stability by being lazy and shallow: lazy and shallow instantiation is user friendly. |
Haskell |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Finn Teegen, Kai-Oliver Prott, Niels Bunkenburg |
Haskell⁻¹: automatic function inversion in Haskell. |
Haskell |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jurriaan Hage (eds.) |
Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, Virtual Event, Korea, August 26-27, 2021 |
Haskell |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Hashan Punchihewa, Nicolas Wu |
Safe mutation with algebraic effects. |
Haskell |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jamie Willis, Nicolas Wu |
Design patterns for parser combinators (functional pearl). |
Haskell |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Rudy Matela |
Express: applications of dynamically typed Haskell expressions. |
Haskell |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Finnbar Keating, Michael B. Gale |
Graded monads and type-level programming for dependence analysis. |
Haskell |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Wen Kokke, Ornela Dardha |
Deadlock-free session types in linear Haskell. |
Haskell |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Clifton-Everest, Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller |
Streaming irregular arrays. |
Haskell |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Dmitrij Szamozvancev, Michael B. Gale |
Well-typed music does not sound wrong (experience report). |
Haskell |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jennifer Paykin, Steve Zdancewic |
The linearity Monad. |
Haskell |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Aronsson, Mary Sheeran |
Hardware software co-design in Haskell. |
Haskell |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Maximilian Algehed, Koen Claessen, Moa Johansson, Nicholas Smallbone |
QuickSpec: a lightweight theory exploration tool for programmers (system demonstration). |
Haskell |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Ekblad |
A meta-EDSL for distributed web applications. |
Haskell |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonidas Lampropoulos, Antal Spector-Zabusky, Kenneth Foner |
Ode on a random urn (functional pearl). |
Haskell |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Didier Rémy |
Ornaments: exploiting parametricity for safer, more automated code refactorization and code reuse (invited talk). |
Haskell |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Iavor S. Diatchki (eds.) |
Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, Oxford, United Kingdom, September 7-8, 2017 |
Haskell |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Rudy Braquehais, Colin Runciman |
Speculate: discovering conditional equations and inequalities about black-box functions by reasoning from test results. |
Haskell |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryan Yates, Michael L. Scott |
Improving STM performance with transactional structs. |
Haskell |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Blazevic, Jacques Légaré |
Packrats parse in packs. |
Haskell |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Gert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler |
Quantified class constraints. |
Haskell |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Justin Dawson, Mark Grebe, Andy Gill |
Composable network stacks and remote monads. |
Haskell |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Chao-Hong Chen, Vikraman Choudhury, Ryan R. Newton |
Adaptive lock-free data structures in Haskell: a general method for concurrent implementation swapping. |
Haskell |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Donya Quick |
Algorithmic music in Haskell (invited talk). |
Haskell |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrey Mokhov |
Algebraic graphs with class (functional pearl). |
Haskell |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Niki Vazou, Leonidas Lampropoulos, Jeff Polakow |
A tale of two provers: verifying monoidal string matching in liquid Haskell and Coq. |
Haskell |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | John Wiegley, Benjamin Delaware |
Using Coq to write fast and correct Haskell. |
Haskell |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Perez 0001 |
Back to the future: time travel in FRP. |
Haskell |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Georgios Karachalias, Tom Schrijvers |
Elaboration on functional dependencies: functional dependencies are dead, long live functional dependencies! |
Haskell |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Lindley, J. Garrett Morris |
Embedding session types in Haskell. |
Haskell |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Lennart Augustsson, Mårten Ågren |
Experience report: types for a relational algebra library. |
Haskell |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Bracker, Henrik Nilsson |
Supermonads: one notion to bind them all. |
Haskell |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Ekblad |
High-performance client-side web applications through Haskell EDSLs. |
Haskell |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Pickering, Gergo Érdi, Simon Peyton Jones, Richard A. Eisenberg |
Pattern synonyms. |
Haskell |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Atze van der Ploeg, Koen Claessen, Pablo Buiras |
The Key monad: type-safe unconstrained dynamic typing. |
Haskell |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazuhiko Yamamoto |
Experience report: developing high performance HTTP/2 server in Haskell. |
Haskell |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Gustavo Grieco, Martín Ceresa, Pablo Buiras |
QuickFuzz: an automatic random fuzzer for common file formats. |
Haskell |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip Dexter, Yu David Liu, Kenneth Chiu |
Lazy graph processing in Haskell. |
Haskell |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Yallop, Hai Liu 0012 |
Causal commutative arrows revisited. |
Haskell |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Marlow, Simon Peyton Jones, Edward Kmett, Andrey Mokhov |
Desugaring Haskell's do-notation into applicative operations. |
Haskell |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Rudy Braquehais, Colin Runciman |
FitSpec: refining property sets for functional testing. |
Haskell |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Satvik Chauhan, Piyush P. Kurur, Brent A. Yorgey |
How to twist pointers without breaking them. |
Haskell |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Perez 0001, Manuel Bärenz, Henrik Nilsson |
Functional reactive programming, refactored. |
Haskell |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Le, Ryan Yates, Matthew Fluet |
Revisiting software transactional memory in Haskell. |
Haskell |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Gibbons |
Free delivery (functional pearl). |
Haskell |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Yisu Remy Wang, Diogenes Nunez, Kathleen Fisher |
Autobahn: using genetic algorithms to infer strictness annotations. |
Haskell |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrey Mokhov, Neil Mitchell, Simon Peyton Jones, Simon Marlow |
Non-recursive make considered harmful: build systems at scale. |
Haskell |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoffrey Mainland (eds.) |
Proceedings of the 9th International Symposium on Haskell, Haskell 2016, Nara, Japan, September 22-23, 2016 |
Haskell |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Scibior, Zoubin Ghahramani, Andrew D. Gordon 0001 |
Practical probabilistic programming with monads. |
Haskell |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Alejandro Serrano 0001, Jurriaan Hage, Patrick Bahr |
Type families with class, type classes with family. |
Haskell |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Breitner |
Formally proving a compiler transformation safe. |
Haskell |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Trevor L. McDonell, Manuel M. T. Chakravarty, Vinod Grover, Ryan R. Newton |
Type-safe runtime code generation: accelerate to LLVM. |
Haskell |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy Gill, Neil Sculthorpe, Justin Dawson, Aleksander Eskilson, Andrew Farmer, Mark Grebe, Jeffrey Rosenbluth, Ryan Scott, James Stanton |
The remote monad design pattern. |
Haskell |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenneth Foner |
Functional pearl: getting a quick fix on comonads. |
Haskell |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Polakow |
Embedding a full linear Lambda calculus in Haskell. |
Haskell |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Walker 0004, Colin Runciman |
Déjà Fu: a concurrency testing library for Haskell. |
Haskell |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | José Manuel Calderón Trilla, Colin Runciman |
Improving implicit parallelism. |
Haskell |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno C. d. S. Oliveira, Shin-Cheng Mu, Shu-Hung You |
Modular reifiable matching: a list-of-functors approach to two-level types. |
Haskell |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Gundry |
A typechecker plugin for units of measure: domain-specific constraint solving in GHC Haskell. |
Haskell |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ben Lippmeier (eds.) |
Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, Haskell 2015, Vancouver, BC, Canada, September 3-4, 2015 |
Haskell |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Iavor S. Diatchki |
Improving Haskell types with SMT. |
Haskell |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Stolarek, Simon L. Peyton Jones, Richard A. Eisenberg |
Injective type families for Haskell. |
Haskell |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Garrett Morris |
Variations on variants. |
Haskell |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Perez 0001, Henrik Nilsson |
Bridging the GUI gap with reactive values and relations. |
Haskell |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Trevor Elliott, Lee Pike, Simon Winwood, Patrick C. Hickey, James Bielman, Jamey Sharp, Eric L. Seidel, John Launchbury |
Guilt free ivory. |
Haskell |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Farmer, Neil Sculthorpe, Andy Gill |
Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs. |
Haskell |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg Kiselyov, Hiromi Ishii |
Freer monads, more extensible effects. |
Haskell |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Wu, Tom Schrijvers, Ralf Hinze |
Effect handlers in scope. |
Haskell |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominic A. Orchard, Tomas Petricek 0001 |
Embedding effect systems in Haskell. |
Haskell |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Deian Stefan, Amit Levy, Alejandro Russo, David Mazières |
Building secure systems with LIO (demo). |
Haskell |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasmin Christian Blanchette, Lars Hupel, Tobias Nipkow, Lars Noschinski, Dmitriy Traytel |
Experience report: the next 1100 Haskell programmers. |
Haskell |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Takayuki Muranushi, Richard A. Eisenberg |
Experience report: type-checking polymorphic units for astrophysics research in Haskell. |
Haskell |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Garrett Morris |
A simple semantics for Haskell overloading. |
Haskell |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Amit A. Levy, David Terei, Deian Stefan, David Mazières |
Demo proposal: making web applications -XSafe. |
Haskell |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Wouter Swierstra (eds.) |
Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, Gothenburg, Sweden, September 4-5, 2014 |
Haskell |
2014 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license