Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell - Haskell 2018
Latest Publications

TOTAL DOCUMENTS

16

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By ACM Press

9781450358354

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Improving typeclass relations by being open

Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell - Haskell 2018 ◽

10.1145/3242744.3242751 ◽

2018 ◽

Author(s):

Guido Martínez ◽

Mauro Jaskelioff ◽

Guido De Luca

Download Full-text

AutoBench: comparing the time performance of Haskell programs

Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell - Haskell 2018 ◽

10.1145/3242744.3242749 ◽

2018 ◽

Author(s):

Martin A. T. Handley ◽

Graham Hutton

Keyword(s):

Time Performance

Download Full-text

Embedding invertible languages with binders: a case of the FliPpr language

Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell - Haskell 2018 ◽

10.1145/3242744.3242758 ◽

2018 ◽

Author(s):

Kazutaka Matsuda ◽

Meng Wang

Download Full-text

A promise checked is a promise kept: inspection testing

Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell - Haskell 2018 ◽

10.1145/3242744.3242748 ◽

2018 ◽

Author(s):

Joachim Breitner

Download Full-text

Theorem proving for all: equational reasoning in liquid Haskell (functional pearl)

Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell - Haskell 2018 ◽

10.1145/3242744.3242756 ◽

2018 ◽

Author(s):

Niki Vazou ◽

Joachim Breitner ◽

Rose Kunkel ◽

David Van Horn ◽

Graham Hutton

Keyword(s):

Theorem Proving ◽

Equational Reasoning

Download Full-text

Branching processes for QuickCheck generators

Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell - Haskell 2018 ◽

10.1145/3242744.3242747 ◽

2018 ◽

Author(s):

Agustín Mista ◽

Alejandro Russo ◽

John Hughes

Keyword(s):

Branching Processes

Download Full-text

Coherent explicit dictionary application for Haskell

Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell - Haskell 2018 ◽

10.1145/3242744.3242752 ◽

2018 ◽

Author(s):

Thomas Winant ◽

Dominique Devriese

Download Full-text

A high-performance multicore IO manager based on libuv (experience report)

Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell - Haskell 2018 ◽

10.1145/3242744.3242759 ◽

2018 ◽

Author(s):

Dong Han ◽

Tao He

Keyword(s):

High Performance ◽

Experience Report

Download Full-text

The Thoralf plugin: for your fancy type needs

Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell - Haskell 2018 ◽

10.1145/3242744.3242754 ◽

2018 ◽

Author(s):

Divesh Otwani ◽

Richard A. Eisenberg

Download Full-text

Generic programming of all kinds

Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell - Haskell 2018 ◽

10.1145/3242744.3242745 ◽

2018 ◽

Author(s):

Alejandro Serrano ◽

Victor Cacciari Miraldo

Keyword(s):

Generic Programming

Download Full-text