ICFP Workshops 2020
25th ACM SIGPLAN International Conference on Functional Programming (ICFP 2020)
Powered by
Conference Publishing Consulting

13th ACM SIGPLAN International Haskell Symposium (Haskell 2020), August 27, 2020, Virtual Event, USA

Workshop Haskell 2020 – Author Index

Contents - Abstracts - Authors

B C E H I J K L M O P R S V W X Z

Bernardy, Jean-Philippe Haskell '20: "Composing Effects into Tasks ..."
Claessen, Koen Haskell '20: "Finger Trees Explained Anew, ..." Haskell '20: "Towards Secure IoT Programming ..."
Corpa, Flavio Haskell '20: "Describing Microservices using ..."
Eisenberg, Richard A. Haskell '20: "Composing Effects into Tasks ..." Haskell '20: "Stitch: The Sound Type-Indexed ..."
Heeren, Bastiaan Haskell '20: "Assessing the Quality of Evolving ..."
Ivašković, Andrej Haskell '20: "A Graded Monad for Deadlock-Free ..."
Jeuring, Johan Haskell '20: "Assessing the Quality of Evolving ..."
Kamps, Sander Haskell '20: "Assessing the Quality of Evolving ..."
Krook, Robert Haskell '20: "Towards Secure IoT Programming ..."
Leijen, Daan Haskell '20: "Effect Handlers in Haskell, ..."
Löh, Andres Haskell '20: "Staged Sums of Products ..."
Mycroft, Alan Haskell '20: "A Graded Monad for Deadlock-Free ..."
Oliveira, José N. Haskell '20: "Type Your Matrices for Great ..."
Parès, Yves Haskell '20: "Composing Effects into Tasks ..."
Pickering, Matthew Haskell '20: "Staged Sums of Products ..."
Russo, Alejandro Haskell '20: "Towards Secure IoT Programming ..."
Santos, Armando Haskell '20: "Type Your Matrices for Great ..."
Serrano, Alejandro Haskell '20: "Describing Microservices using ..."
Stuart, David A. Haskell '20: "Scripted Signal Functions ..."
Valliappan, Nachiappan Haskell '20: "Towards Secure IoT Programming ..."
Wu, Nicolas Haskell '20: "Staged Sums of Products ..."
Xie, Ningning Haskell '20: "Effect Handlers in Haskell, ..."
Zilberstein, Noam Haskell '20: "Eliminating Bugs with Dependent ..."

23 authors

proc time: 0.13