default search action

combined dblp search
author search
venue search
publication search

ask others

14th Haskell 2021: Virtual Event, Korea

> Home > Conferences and Workshops > Haskell

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/haskell/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/2021
Jurriaan Hage:
Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, Virtual Event, Korea, August 26-27, 2021. ACM 2021, ISBN 978-1-4503-8615-9
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/KokkeD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/KokkeD21
Wen Kokke, Ornela Dardha:
Deadlock-free session types in linear Haskell. 1-13
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/BernardyS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/BernardyS21
Jean-Philippe Bernardy, Arnaud Spiwack:
Evaluating linear functions to symmetric monoidal categories. 14-26
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/KeatingG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/KeatingG21
Finnbar Keating, Michael B. Gale:
Graded monads and type-level programming for dependence analysis. 27-40
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/TeegenPB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/TeegenPB21
Finn Teegen, Kai-Oliver Prott, Niels Bunkenburg:
Haskell⁻¹: automatic function inversion in Haskell. 41-55
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/ValliappanRL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/ValliappanRL21
Nachiappan Valliappan, Alejandro Russo, Sam Lindley:
Practical normalization by evaluation for EDSLs. 56-70
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/WillisW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/WillisW21
Jamie Willis, Nicolas Wu:
Design patterns for parser combinators (functional pearl). 71-84
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/BottuE21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/BottuE21
Gert-Jan Bottu, Richard A. Eisenberg:
Seeking stability by being lazy and shallow: lazy and shallow instantiation is user friendly. 85-97
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/Matela21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Matela21
Rudy Matela:
Express: applications of dynamically typed Haskell expressions. 98-109
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/BaileyG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/BaileyG21
Toby Bailey, Michael B. Gale:
Chesskell: a two-player game at the type level. 110-121
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/PunchihewaW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/PunchihewaW21
Hashan Punchihewa, Nicolas Wu:
Safe mutation with algebraic effects. 122-135

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.