Haskell - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 294

2021

Chesskell: a two-player game at the type levelToby Bailey, Michael B. Gale. haskell 2021: 110-121 [doi]

Evaluating linear functions to symmetric monoidal categoriesJean-Philippe Bernardy, Arnaud Spiwack. haskell 2021: 14-26 [doi]

Seeking stability by being lazy and shallow: lazy and shallow instantiation is user friendlyGert-Jan Bottu, Richard A. Eisenberg. haskell 2021: 85-97 [doi]

Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, Virtual Event, Korea, August 26-27, 2021Jurriaan Hage, editor, ACM, 2021. [doi]

Graded monads and type-level programming for dependence analysisFinnbar Keating, Michael B. Gale. haskell 2021: 27-40 [doi]

Deadlock-free session types in linear HaskellWen Kokke, Ornela Dardha. haskell 2021: 1-13 [doi]

Express: applications of dynamically typed Haskell expressionsRudy Matela. haskell 2021: 98-109 [doi]

Safe mutation with algebraic effectsHashan Punchihewa, Nicolas Wu. haskell 2021: 122-135 [doi]

Haskell⁻¹: automatic function inversion in HaskellFinn Teegen, Kai-Oliver Prott, Niels Bunkenburg. haskell 2021: 41-55 [doi]

Practical normalization by evaluation for EDSLsNachiappan Valliappan, Alejandro Russo, Sam Lindley. haskell 2021: 56-70 [doi]

Design patterns for parser combinators (functional pearl)Jamie Willis, Nicolas Wu. haskell 2021: 71-84 [doi]

2020

Describing microservices using modern Haskell (experience report)Alejandro Serrano 0001, Flavio Corpa. haskell 2020: 1-8 [doi]

Finger trees explained anew, and slightly simplified (functional pearl)Koen Claessen. haskell 2020: 31-38 [doi]

Stitch: the sound type-indexed type checker (functional pearl)Richard A. Eisenberg. haskell 2020: 39-53 [doi]

A graded Monad for deadlock-free concurrency (functional pearl)Andrej Ivaskovic, Alan Mycroft. haskell 2020: 17-30 [doi]

Assessing the quality of evolving Haskell systems by measuring structural inequalitySander Kamps, Bastiaan Heeren, Johan Jeuring. haskell 2020: 67-79 [doi]

Composing effects into tasks and workflowsYves Parès, Jean-Philippe Bernardy, Richard A. Eisenberg. haskell 2020: 80-94 [doi]

Staged sums of productsMatthew Pickering, Andres Löh, Nicolas Wu. haskell 2020: 122-135 [doi]

Type your matrices for great good: a Haskell library of typed matrices and applications (functional pearl)Armando Santos, José N. Oliveira. haskell 2020: 54-66 [doi]

Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2020, Virtual Event, USA, August 7, 2020Tom Schrijvers, editor, ACM, 2020. [doi]

Scripted signal functionsDavid A. Stuart. haskell 2020: 109-121 [doi]

Towards secure IoT programming in HaskellNachiappan Valliappan, Robert Krook, Alejandro Russo, Koen Claessen. haskell 2020: 136-150 [doi]

Effect handlers in Haskell, evidentlyNingning Xie, Daan Leijen. haskell 2020: 95-108 [doi]

Eliminating bugs with dependent Haskell (experience report)Noam Zilberstein. haskell 2020: 9-16 [doi]

2019

Verifying effectful Haskell programs in CoqJan Christiansen, Sandra Dylus, Niels Bunkenburg. haskell 2019: 125-138 [doi]

Modular effects in Haskell through effect polymorphism and explicit dictionary applications: a new approach and the μVeriFast verifier as a case studyDominique Devriese. haskell 2019: 1-14 [doi]

Making a faster Curry with extensional typesPaul Downen, Zachary Sullivan, Zena M. Ariola, Simon Peyton Jones. haskell 2019: 58-70 [doi]

Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2019, Berlin, Germany, August 18-23, 2019Richard A. Eisenberg, editor, ACM, 2019. [doi]

Scoping monadic relational database queriesAnton Ekblad. haskell 2019: 114-124 [doi]

STCLang: state thread composition as a foundation for monadic dataflow parallelismSebastian Ertel, Justus Adam, Norman A. Rink, Andrés Goens, Jerónimo Castrillón. haskell 2019: 146-161 [doi]

Synthesizing functional reactive programsBernd Finkbeiner, Felix Klein 0001, Ruzica Piskac, Mark Santolucito. haskell 2019: 162-175 [doi]

G2Q: Haskell constraint solvingWilliam T. Hallahan, Anton Xue, Ruzica Piskac. haskell 2019: 44-57 [doi]

Formal verification of spacecraft control programs (experience report)Andrey Mokhov, Georgy Lukyanov, Jakob Lechner. haskell 2019: 139-145 [doi]

Bidirectional type class instancesKoen Pauwels, Georgios Karachalias, Michiel Derhaeg, Tom Schrijvers. haskell 2019: 30-43 [doi]

Working with source pluginsMatthew Pickering, Nicolas Wu, Boldizsár Németh. haskell 2019: 85-97 [doi]

Multi-stage programs in contextMatthew Pickering, Nicolas Wu, Csongor Kiss. haskell 2019: 71-84 [doi]

Monad transformers and modular algebraic effects: what binds them togetherTom Schrijvers, Maciej Piróg, Nicolas Wu, Mauro Jaskelioff. haskell 2019: 98-113 [doi]

Generic and flexible defaults for verified, law-abiding type-class instancesRyan G. Scott, Ryan R. Newton. haskell 2019: 15-29 [doi]

2018

Deriving via: or, how to turn hand-written instances into an anti-patternBaldur Blöndal, Andres Löh, Ryan Scott. haskell 2018: 55-67 [doi]

A promise checked is a promise kept: inspection testingJoachim Breitner. haskell 2018: 14-25 [doi]

Rhine: FRP with type-level clocksManuel Bärenz, Ivan Perez 0001. haskell 2018: 145-157 [doi]

Type variables in patternsRichard A. Eisenberg, Joachim Breitner, Simon L. Peyton Jones. haskell 2018: 94-105 [doi]

Suggesting valid hole fits for typed-holes (experience report)Matthías Páll Gissurarson. haskell 2018: 179-185 [doi]

A high-performance multicore IO manager based on libuv (experience report)Dong Han, Tao He. haskell 2018: 172-178 [doi]

AutoBench: comparing the time performance of Haskell programsMartin A. T. Handley, Graham Hutton. haskell 2018: 26-37 [doi]

Improving typeclass relations by being openGuido Martinez, Mauro Jaskelioff, Guido De Luca. haskell 2018: 68-80 [doi]

Embedding invertible languages with binders: a case of the FliPpr languageKazutaka Matsuda, Meng Wang. haskell 2018: 158-171 [doi]

Branching processes for QuickCheck generatorsAgustín Mista, Alejandro Russo, John Hughes. haskell 2018: 1-13 [doi]

Ghosts of departed proofs (functional pearl)Matt Noonan. haskell 2018: 119-131 [doi]

The Thoralf plugin: for your fancy type needsDivesh Otwani, Richard A. Eisenberg. haskell 2018: 106-118 [doi]

Generic programming of all kindsAlejandro Serrano, Victor Cacciari Miraldo. haskell 2018: 41-54 [doi]

Autobahn 2.0: minimizing bangs while maintaining performance (system demonstration)Marilyn Sun, Kathleen Fisher. haskell 2018: 38-40 [doi]

Theorem proving for all: equational reasoning in liquid Haskell (functional pearl)Niki Vazou, Joachim Breitner, Rose Kunkel, David Van Horn, Graham Hutton. haskell 2018: 132-144 [doi]

Coherent explicit dictionary application for HaskellThomas Winant, Dominique Devriese. haskell 2018: 81-93 [doi]

Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2018, St. Louis, MO, USA, September 27-17, 2018Nicolas Wu, editor, ACM, 2018. [doi]

2017

QuickSpec: a lightweight theory exploration tool for programmers (system demonstration)Maximilian Algehed, Koen Claessen, Moa Johansson, Nicholas Smallbone. haskell 2017: 38-39 [doi]

Hardware software co-design in HaskellMarkus Aronsson, Mary Sheeran. haskell 2017: 162-173 [doi]

Packrats parse in packsMario Blazevic, Jacques Légaré. haskell 2017: 14-25 [doi]

Quantified class constraintsGert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno C. D. S. Oliveira, Philip Wadler. haskell 2017: 148-161 [doi]

Speculate: discovering conditional equations and inequalities about black-box functions by reasoning from test resultsRudy Braquehais, Colin Runciman. haskell 2017: 40-51 [doi]

Adaptive lock-free data structures in Haskell: a general method for concurrent implementation swappingChao-Hong Chen, Vikraman Choudhury, Ryan R. Newton. haskell 2017: 197-211 [doi]

Streaming irregular arraysRobert Clifton-Everest, Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller. haskell 2017: 174-185 [doi]

Composable network stacks and remote monadsJustin Dawson, Mark Grebe, Andy Gill. haskell 2017: 86-97 [doi]

Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, Oxford, United Kingdom, September 7-8, 2017Iavor S. Diatchki, editor, ACM, 2017. [doi]

A meta-EDSL for distributed web applicationsAnton Ekblad. haskell 2017: 75-85 [doi]

Elaboration on functional dependencies: functional dependencies are dead, long live functional dependencies!Georgios Karachalias, Tom Schrijvers. haskell 2017: 133-147 [doi]

Ode on a random urn (functional pearl)Leonidas Lampropoulos, Antal Spector-Zabusky, Kenneth Foner. haskell 2017: 26-37 [doi]

Algebraic graphs with class (functional pearl)Andrey Mokhov. haskell 2017: 2-13 [doi]

The linearity MonadJennifer Paykin, Steve Zdancewic. haskell 2017: 117-132 [doi]

Back to the future: time travel in FRPIvan Perez. haskell 2017: 105-116 [doi]

Algorithmic music in Haskell (invited talk)Donya Quick. haskell 2017: 98 [doi]

Ornaments: exploiting parametricity for safer, more automated code refactorization and code reuse (invited talk)Didier Rémy. haskell 2017: 1 [doi]

Well-typed music does not sound wrong (experience report)Dmitrij Szamozvancev, Michael B. Gale. haskell 2017: 99-104 [doi]

A tale of two provers: verifying monoidal string matching in liquid Haskell and CoqNiki Vazou, Leonidas Lampropoulos, Jeff Polakow. haskell 2017: 63-74 [doi]

Using Coq to write fast and correct HaskellJohn Wiegley, Benjamin Delaware. haskell 2017: 52-62 [doi]

Improving STM performance with transactional structsRyan Yates, Michael L. Scott. haskell 2017: 186-196 [doi]

2016

Experience report: types for a relational algebra libraryLennart Augustsson, Mårten Ågren. haskell 2016: 127-132 [doi]

Supermonads: one notion to bind them allJan Bracker, Henrik Nilsson. haskell 2016: 158-169 [doi]

FitSpec: refining property sets for functional testingRudy Braquehais, Colin Runciman. haskell 2016: 1-12 [doi]

How to twist pointers without breaking themSatvik Chauhan, Piyush P. Kurur, Brent A. Yorgey. haskell 2016: 51-61 [doi]

Lazy graph processing in HaskellPhilip Dexter, Yu David Liu, Kenneth Chiu. haskell 2016: 182-192 [doi]

High-performance client-side web applications through Haskell EDSLsAnton Ekblad. haskell 2016: 62-73 [doi]

Free delivery (functional pearl)Jeremy Gibbons. haskell 2016: 45-50 [doi]

QuickFuzz: an automatic random fuzzer for common file formatsGustavo Grieco, Martín Ceresa, Pablo Buiras. haskell 2016: 13-20 [doi]

Revisiting software transactional memory in HaskellMatthew Le, Ryan Yates, Matthew Fluet. haskell 2016: 105-113 [doi]

Embedding session types in HaskellSam Lindley, J. Garrett Morris. haskell 2016: 133-145 [doi]

Proceedings of the 9th International Symposium on Haskell, Haskell 2016, Nara, Japan, September 22-23, 2016Geoffrey Mainland, editor, ACM, 2016. [doi]

Desugaring Haskell's do-notation into applicative operationsSimon Marlow, Simon L. Peyton Jones, Edward Kmett, Andrey Mokhov. haskell 2016: 92-104 [doi]

Non-recursive make considered harmful: build systems at scaleAndrey Mokhov, Neil Mitchell, Simon L. Peyton Jones, Simon Marlow. haskell 2016: 170-181 [doi]

Functional reactive programming, refactoredIvan Perez, Manuel Bärenz, Henrik Nilsson. haskell 2016: 33-44 [doi]

Pattern synonymsMatthew Pickering, Gergo Érdi, Simon L. Peyton Jones, Richard A. Eisenberg. haskell 2016: 80-91 [doi]

The Key monad: type-safe unconstrained dynamic typingAtze van der Ploeg, Koen Claessen, Pablo Buiras. haskell 2016: 146-157 [doi]

Autobahn: using genetic algorithms to infer strictness annotationsYisu Remy Wang, Diogenes Nunez, Kathleen Fisher. haskell 2016: 114-126 [doi]

Causal commutative arrows revisitedJeremy Yallop, Hai Liu. haskell 2016: 21-32 [doi]

Experience report: developing high performance HTTP/2 server in HaskellKazuhiko Yamamoto. haskell 2016: 74-79 [doi]

Links

Filter by Year

[+]
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

Haskell (haskell)

Viewing Publication 1 - 100 from 294

2021

2020

2019

2018

2017

2016

2015

Links

Filter by Year [+]OR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

Haskell (haskell)

Viewing Publication 1 - 100 from 294

2021

2020

2019

2018

2017

2016

2015

Filter by Year

[+]
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1