Haskell - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 328

2024

MicroHs: A Small Compiler for HaskellLennart Augustsson. haskell 2024: 120-124 [doi]

Making a Curry Interpreter using Effects and HandlersNiels Bunkenburg, Nicolas Wu. haskell 2024: 68-82 [doi]

Calculating Compilers Effectively (Functional Pearl)Zac Garby, Graham Hutton, Patrick Bahr. haskell 2024: 109-119 [doi]

Functional Reactive Programming, RearrangedFinnbar Keating, Michael B. Gale. haskell 2024: 55-67 [doi]

Welcome to the Parti(tioning) (Functional Pearl): Using Rewrite Rules and Specialisation to Partition Haskell ProgramsRobert Krook, Samuel Hammersberg. haskell 2024: 27-40 [doi]

Cloaca: A Concurrent Hardware Garbage Collector for Non-strict Functional LanguagesCraig Ramsay, Robert Stewart. haskell 2024: 41-54 [doi]

Higher Order Patterns for Rewrite RulesJaro S. Reinders. haskell 2024: 14-26 [doi]

Controlling Computation Granularity through Fusion in Improving Floating-Point NumbersMomoka Saito, Hideya Iwasaki, Hideyuki Kawabata, Tsuneyasu Komiya. haskell 2024: 83-96 [doi]

Liquid Amortization: Proving Amortized Complexity with LiquidHaskell (Functional Pearl)Jan van Brügge. haskell 2024: 97-108 [doi]

Haskelite: A Tracing Interpreter Based on a Pattern-Matching CalculusPedro B. Vasconcelos, Rodrigo Marques. haskell 2024: 1-13 [doi]

Proceedings of the 17th ACM SIGPLAN International Haskell Symposium, Haskell 2024, Milan, Italy, September 6-7, 2024Niki Vazou, J. Garrett Morris, editors, ACM, 2024. [doi]

2023

The Essence of ReactivityIvan Perez 0001, Frank Dedden. haskell 2023: 18-31 [doi]

falsify: Internal Shrinking Reimagined for HaskellEdsko de Vries. haskell 2023: 97-109 [doi]

This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive ProgramsFinnbar Keating, Michael B. Gale. haskell 2023: 3-17 [doi]

Proceedings of the 16th ACM SIGPLAN International Haskell Symposium, Haskell 2023, Seattle, WA, USA, September 8-9, 2023Trevor L. McDonell, Niki Vazou, editors, ACM, 2023. [doi]

Don't Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based TestingSegev Elazar Mittelman, Aviel Resnick, Ivan Perez 0001, Alwyn E. Goodloe, Leonidas Lampropoulos. haskell 2023: 59-71 [doi]

Effect Handlers for Programmable InferenceMinh Nguyen, Roly Perera, Meng Wang, Steven Ramsay. haskell 2023: 44-58 [doi]

Haskell Library for Safer Virtual Machine Introspection (Experience Report)Takato Otsuka, Hideya Iwasaki. haskell 2023: 89-96 [doi]

An Exceptional Actor System (Functional Pearl)Patrick Redmond, Lindsey Kuper. haskell 2023: 32-43 [doi]

HasTEE: Programming Trusted Execution Environments with HaskellAbhiroop Sarkar, Robert Krook, Alejandro Russo, Koen Claessen. haskell 2023: 72-88 [doi]

The Evolution of Effects (Keynote)Nicolas Wu. haskell 2023: 2 [doi]

Haskell for Choice-Based Learning (Keynote)Ningning Xie. haskell 2023: 1 [doi]

2022

A totally predictable outcome: an investigation of traversals of infinite structuresGershom Bazerman. haskell 2022: 39-53 [doi]

Liquid proof macrosHenry Blanchette, Niki Vazou, Leonidas Lampropoulos. haskell 2022: 27-38 [doi]

Reasonable Agda is correct Haskell: writing verified Haskell using agda2hsJesper Cockx, Orestis Melkonian, Lucas Escot, James Chapman, Ulf Norell. haskell 2022: 108-122 [doi]

Open transactional actions: interacting with non-transactional resources in STM HaskellJonathas Augusto de Oliveira Conceição, André Rauber Du Bois, Samuel da Silva Feitosa, Gerson Geraldo Homrich Cavalheiro, Rodrigo Geraldo Ribeiro. haskell 2022: 54-65 [doi]

Investigating magic numbers: improving the inlining heuristic in the Glasgow Haskell CompilerCeleste Hollenbeck, Michael F. P. O'Boyle, Michel Steuwer. haskell 2022: 81-94 [doi]

Partial type constructors in practiceApoorv Ingle, Alex Hubers, J. Garrett Morris. haskell 2022: 95-107 [doi]

Coinduction inductively: mechanizing coinductive proofs in Liquid HaskellLykourgos Mastorou, Nikolaos Papaspyrou, Niki Vazou. haskell 2022: 1-12 [doi]

Embedded pattern matchingTrevor L. McDonell, Joshua D. Meredith, Gabriele Keller. haskell 2022: 123-136 [doi]

Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15 - 16, 2022Nadia Polikarpova, editor, ACM, 2022. [doi]

How to safely use extensionality in Liquid HaskellNiki Vazou, Michael Greenberg 0002. haskell 2022: 13-26 [doi]

Oregano: staging regular expressions with Moore Cayley fusionJamie Willis, Nicolas Wu, Tom Schrijvers. haskell 2022: 66-80 [doi]

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

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]

Speculate: discovering conditional equations and inequalities about black-box functions by reasoning from test resultsRudy Braquehais, Colin Runciman. haskell 2017: 40-51 [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]

Algebraic graphs with class (functional pearl)Andrey Mokhov. haskell 2017: 2-13 [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]

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 328

2024

2023

2022

2021

2020

2019

2018

2017

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 328

2024

2023

2022

2021

2020

2019

2018

2017

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