default search action

combined dblp search
author search
venue search
publication search

ask others

13th Haskell 2020: Virtual Event, USA

> 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/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/2020
Tom Schrijvers:
Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2020, Virtual Event, USA, August 7, 2020. ACM 2020, ISBN 978-1-4503-8050-8
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/0001C20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/0001C20
Alejandro Serrano, Flavio Corpa:
Describing microservices using modern Haskell (experience report). 1-8
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/Zilberstein20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Zilberstein20
Noam Zilberstein:
Eliminating bugs with dependent Haskell (experience report). 9-16
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/IvaskovicM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/IvaskovicM20
Andrej Ivaskovic, Alan Mycroft:
A graded Monad for deadlock-free concurrency (functional pearl). 17-30
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/Claessen20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Claessen20
Koen Claessen:
Finger trees explained anew, and slightly simplified (functional pearl). 31-38
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/Eisenberg20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Eisenberg20
Richard A. Eisenberg:
Stitch: the sound type-indexed type checker (functional pearl). 39-53
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/SantosO20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/SantosO20
Armando Santos, José N. Oliveira:
Type your matrices for great good: a Haskell library of typed matrices and applications (functional pearl). 54-66
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/KampsHJ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/KampsHJ20
Sander Kamps, Bastiaan Heeren, Johan Jeuring:
Assessing the quality of evolving Haskell systems by measuring structural inequality. 67-79
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/ParesBE20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/ParesBE20
Yves Parès, Jean-Philippe Bernardy, Richard A. Eisenberg:
Composing effects into tasks and workflows. 80-94
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/XieL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/XieL20
Ningning Xie, Daan Leijen:
Effect handlers in Haskell, evidently. 95-108
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/Stuart20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Stuart20
David A. Stuart:
Scripted signal functions. 109-121
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/PickeringLW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/PickeringLW20
Matthew Pickering, Andres Löh, Nicolas Wu:
Staged sums of products. 122-135
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/ValliappanKRC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/ValliappanKRC20
Nachiappan Valliappan, Robert Krook, Alejandro Russo, Koen Claessen:
Towards secure IoT programming in Haskell. 136-150

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.