researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
[-]
OR
AND
NOT
1
2000
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
Filter by Tag
[+]
OR
AND
NOT
1
algebra
C++
Haskell
Meta-Environment
compiler
data-flow
data-flow language
data-flow programming
debugging
design
error-reporting
functional programming
language design
laziness
logic
meta-model
programming
programming languages
systematic-approach
testing
Filter by Author
[+]
OR
AND
NOT
1
Alejandro Russo
Andrey Mokhov
Andy Gill
Anton Ekblad
Ben Lippmeier
Colin Runciman
Daan Leijen
Gabriele Keller
Henrik Nilsson
J. Garrett Morris
Jean-Philippe Bernardy
Koen Claessen
Manuel M. T. Chakravarty
Nicolas Wu
Niki Vazou
Oleg Kiselyov
Richard A. Eisenberg
Simon L. Peyton Jones
Simon Marlow
Tom Schrijvers
Filter by Top terms
[+]
OR
AND
NOT
1
acm
class
experience
functional
functions
haskell
library
monad
pearl
performance
proceedings
programming
programs
report
september
sigplan
symposium
type
typed
types
Haskell (haskell)
Editions
Publications
Viewing Publication 1 - 100 from 317
2023
The Essence of Reactivity
Ivan Perez 0001
,
Frank Dedden
.
haskell 2023
:
18-31
[doi]
falsify: Internal Shrinking Reimagined for Haskell
Edsko de Vries
.
haskell 2023
:
97-109
[doi]
This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Programs
Finnbar 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, 2023
Trevor L. McDonell
,
Niki Vazou
, editors,
ACM,
2023.
[doi]
Don't Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing
Segev Elazar Mittelman
,
Aviel Resnick
,
Ivan Perez 0001
,
Alwyn E. Goodloe
,
Leonidas Lampropoulos
.
haskell 2023
:
59-71
[doi]
Effect Handlers for Programmable Inference
Minh 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 Haskell
Abhiroop 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 structures
Gershom Bazerman
.
haskell 2022
:
39-53
[doi]
Liquid proof macros
Henry Blanchette
,
Niki Vazou
,
Leonidas Lampropoulos
.
haskell 2022
:
27-38
[doi]
Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs
Jesper Cockx
,
Orestis Melkonian
,
Lucas Escot
,
James Chapman
,
Ulf Norell
.
haskell 2022
:
108-122
[doi]
Open transactional actions: interacting with non-transactional resources in STM Haskell
Jonathas 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 Compiler
Celeste Hollenbeck
,
Michael F. P. O'Boyle
,
Michel Steuwer
.
haskell 2022
:
81-94
[doi]
Partial type constructors in practice
Apoorv Ingle
,
Alex Hubers
,
J. Garrett Morris
.
haskell 2022
:
95-107
[doi]
Coinduction inductively: mechanizing coinductive proofs in Liquid Haskell
Lykourgos Mastorou
,
Nikolaos Papaspyrou
,
Niki Vazou
.
haskell 2022
:
1-12
[doi]
Embedded pattern matching
Trevor 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, 2022
Nadia Polikarpova
, editor,
ACM,
2022.
[doi]
How to safely use extensionality in Liquid Haskell
Niki Vazou
,
Michael Greenberg 0002
.
haskell 2022
:
13-26
[doi]
Oregano: staging regular expressions with Moore Cayley fusion
Jamie Willis
,
Nicolas Wu
,
Tom Schrijvers
.
haskell 2022
:
66-80
[doi]
2021
Chesskell: a two-player game at the type level
Toby Bailey
,
Michael B. Gale
.
haskell 2021
:
110-121
[doi]
Evaluating linear functions to symmetric monoidal categories
Jean-Philippe Bernardy
,
Arnaud Spiwack
.
haskell 2021
:
14-26
[doi]
Seeking stability by being lazy and shallow: lazy and shallow instantiation is user friendly
Gert-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, 2021
Jurriaan Hage
, editor,
ACM,
2021.
[doi]
Graded monads and type-level programming for dependence analysis
Finnbar Keating
,
Michael B. Gale
.
haskell 2021
:
27-40
[doi]
Deadlock-free session types in linear Haskell
Wen Kokke
,
Ornela Dardha
.
haskell 2021
:
1-13
[doi]
Express: applications of dynamically typed Haskell expressions
Rudy Matela
.
haskell 2021
:
98-109
[doi]
Safe mutation with algebraic effects
Hashan Punchihewa
,
Nicolas Wu
.
haskell 2021
:
122-135
[doi]
Haskell⁻¹: automatic function inversion in Haskell
Finn Teegen
,
Kai-Oliver Prott
,
Niels Bunkenburg
.
haskell 2021
:
41-55
[doi]
Practical normalization by evaluation for EDSLs
Nachiappan 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 inequality
Sander Kamps
,
Bastiaan Heeren
,
Johan Jeuring
.
haskell 2020
:
67-79
[doi]
Composing effects into tasks and workflows
Yves Parès
,
Jean-Philippe Bernardy
,
Richard A. Eisenberg
.
haskell 2020
:
80-94
[doi]
Staged sums of products
Matthew 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, 2020
Tom Schrijvers
, editor,
ACM,
2020.
[doi]
Scripted signal functions
David A. Stuart
.
haskell 2020
:
109-121
[doi]
Towards secure IoT programming in Haskell
Nachiappan Valliappan
,
Robert Krook
,
Alejandro Russo
,
Koen Claessen
.
haskell 2020
:
136-150
[doi]
Effect handlers in Haskell, evidently
Ningning 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 Coq
Jan 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 study
Dominique Devriese
.
haskell 2019
:
1-14
[doi]
Making a faster Curry with extensional types
Paul 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, 2019
Richard A. Eisenberg
, editor,
ACM,
2019.
[doi]
Scoping monadic relational database queries
Anton Ekblad
.
haskell 2019
:
114-124
[doi]
STCLang: state thread composition as a foundation for monadic dataflow parallelism
Sebastian Ertel
,
Justus Adam
,
Norman A. Rink
,
Andrés Goens
,
Jerónimo Castrillón
.
haskell 2019
:
146-161
[doi]
Synthesizing functional reactive programs
Bernd Finkbeiner
,
Felix Klein 0001
,
Ruzica Piskac
,
Mark Santolucito
.
haskell 2019
:
162-175
[doi]
G2Q: Haskell constraint solving
William 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 instances
Koen Pauwels
,
Georgios Karachalias
,
Michiel Derhaeg
,
Tom Schrijvers
.
haskell 2019
:
30-43
[doi]
Working with source plugins
Matthew Pickering
,
Nicolas Wu
,
Boldizsár Németh
.
haskell 2019
:
85-97
[doi]
Multi-stage programs in context
Matthew Pickering
,
Nicolas Wu
,
Csongor Kiss
.
haskell 2019
:
71-84
[doi]
Monad transformers and modular algebraic effects: what binds them together
Tom Schrijvers
,
Maciej Piróg
,
Nicolas Wu
,
Mauro Jaskelioff
.
haskell 2019
:
98-113
[doi]
Generic and flexible defaults for verified, law-abiding type-class instances
Ryan G. Scott
,
Ryan R. Newton
.
haskell 2019
:
15-29
[doi]
2018
Deriving via: or, how to turn hand-written instances into an anti-pattern
Baldur Blöndal
,
Andres Löh
,
Ryan Scott
.
haskell 2018
:
55-67
[doi]
A promise checked is a promise kept: inspection testing
Joachim Breitner
.
haskell 2018
:
14-25
[doi]
Rhine: FRP with type-level clocks
Manuel Bärenz
,
Ivan Perez 0001
.
haskell 2018
:
145-157
[doi]
Type variables in patterns
Richard 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 programs
Martin A. T. Handley
,
Graham Hutton
.
haskell 2018
:
26-37
[doi]
Improving typeclass relations by being open
Guido Martinez
,
Mauro Jaskelioff
,
Guido De Luca
.
haskell 2018
:
68-80
[doi]
Embedding invertible languages with binders: a case of the FliPpr language
Kazutaka Matsuda
,
Meng Wang
.
haskell 2018
:
158-171
[doi]
Branching processes for QuickCheck generators
Agustí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 needs
Divesh Otwani
,
Richard A. Eisenberg
.
haskell 2018
:
106-118
[doi]
Generic programming of all kinds
Alejandro 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 Haskell
Thomas 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, 2018
Nicolas 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 Haskell
Markus Aronsson
,
Mary Sheeran
.
haskell 2017
:
162-173
[doi]
Packrats parse in packs
Mario Blazevic
,
Jacques Légaré
.
haskell 2017
:
14-25
[doi]
Quantified class constraints
Gert-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 results
Rudy Braquehais
,
Colin Runciman
.
haskell 2017
:
40-51
[doi]
Adaptive lock-free data structures in Haskell: a general method for concurrent implementation swapping
Chao-Hong Chen
,
Vikraman Choudhury
,
Ryan R. Newton
.
haskell 2017
:
197-211
[doi]
Streaming irregular arrays
Robert Clifton-Everest
,
Trevor L. McDonell
,
Manuel M. T. Chakravarty
,
Gabriele Keller
.
haskell 2017
:
174-185
[doi]
Composable network stacks and remote monads
Justin 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, 2017
Iavor S. Diatchki
, editor,
ACM,
2017.
[doi]
A meta-EDSL for distributed web applications
Anton 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 Monad
Jennifer Paykin
,
Steve Zdancewic
.
haskell 2017
:
117-132
[doi]
Back to the future: time travel in FRP
Ivan 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 Coq
Niki Vazou
,
Leonidas Lampropoulos
,
Jeff Polakow
.
haskell 2017
:
63-74
[doi]
Using Coq to write fast and correct Haskell
John Wiegley
,
Benjamin Delaware
.
haskell 2017
:
52-62
[doi]
Improving STM performance with transactional structs
Ryan Yates
,
Michael L. Scott
.
haskell 2017
:
186-196
[doi]
2016
Supermonads: one notion to bind them all
Jan Bracker
,
Henrik Nilsson
.
haskell 2016
:
158-169
[doi]
How to twist pointers without breaking them
Satvik Chauhan
,
Piyush P. Kurur
,
Brent A. Yorgey
.
haskell 2016
:
51-61
[doi]
Sign in
or
sign up
to see more results.