Proceedings of the 8th ACM SIGPLAN Symposium on Haskell - Haskell 2015
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450338080

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formally proving a compiler transformation safe

Proceedings of the 8th ACM SIGPLAN Symposium on Haskell - Haskell 2015 ◽

10.1145/2804302.2804312 ◽

2015 ◽

Cited By ~ 5

Author(s):

Joachim Breitner

Download Full-text

Variations on variants

Proceedings of the 8th ACM SIGPLAN Symposium on Haskell - Haskell 2015 ◽

10.1145/2804302.2804320 ◽

2015 ◽

Cited By ~ 3

Author(s):

J. Garrett Morris

Download Full-text

Practical probabilistic programming with monads

Proceedings of the 8th ACM SIGPLAN Symposium on Haskell - Haskell 2015 ◽

10.1145/2804302.2804317 ◽

2015 ◽

Cited By ~ 16

Author(s):

Adam Ścibior ◽

Zoubin Ghahramani ◽

Andrew D. Gordon

Keyword(s):

Probabilistic Programming

Download Full-text

Type families with class, type classes with family

Proceedings of the 8th ACM SIGPLAN Symposium on Haskell - Haskell 2015 ◽

10.1145/2804302.2804304 ◽

2015 ◽

Cited By ~ 4

Author(s):

Alejandro Serrano ◽

Jurriaan Hage ◽

Patrick Bahr

Keyword(s):

Type Classes

Download Full-text

Improving implicit parallelism

Proceedings of the 8th ACM SIGPLAN Symposium on Haskell - Haskell 2015 ◽

10.1145/2804302.2804308 ◽

2015 ◽

Cited By ~ 3

Author(s):

José Manuel Calderón Trilla ◽

Colin Runciman

Download Full-text

Improving Haskell types with SMT

Proceedings of the 8th ACM SIGPLAN Symposium on Haskell - Haskell 2015 ◽

10.1145/2804302.2804307 ◽

2015 ◽

Cited By ~ 7

Author(s):

Iavor S. Diatchki

Download Full-text

Modular reifiable matching: a list-of-functors approach to two-level types

Proceedings of the 8th ACM SIGPLAN Symposium on Haskell - Haskell 2015 ◽

10.1145/2804302.2804315 ◽

2015 ◽

Cited By ~ 6

Author(s):

Bruno C. d. S. Oliveira ◽

Shin-Cheng Mu ◽

Shu-Hung You

Download Full-text

Injective type families for Haskell

Proceedings of the 8th ACM SIGPLAN Symposium on Haskell - Haskell 2015 ◽

10.1145/2804302.2804314 ◽

2015 ◽

Cited By ~ 12

Author(s):

Jan Stolarek ◽

Simon Peyton Jones ◽

Richard A. Eisenberg

Download Full-text

The remote monad design pattern

Proceedings of the 8th ACM SIGPLAN Symposium on Haskell - Haskell 2015 ◽

10.1145/2804302.2804311 ◽

2015 ◽

Cited By ~ 8

Author(s):

Andy Gill ◽

Neil Sculthorpe ◽

Justin Dawson ◽

Aleksander Eskilson ◽

Andrew Farmer ◽

...

Keyword(s):

Design Pattern

Download Full-text

Bridging the GUI gap with reactive values and relations

Proceedings of the 8th ACM SIGPLAN Symposium on Haskell - Haskell 2015 ◽

10.1145/2804302.2804316 ◽

2015 ◽

Cited By ~ 9

Author(s):

Ivan Perez ◽

Henrik Nilsson

Download Full-text

Proceedings of the 8th ACM SIGPLAN Symposium on Haskell - Haskell 2015Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Formally proving a compiler transformation safe

Variations on variants

Practical probabilistic programming with monads

Type families with class, type classes with family

Improving implicit parallelism

Improving Haskell types with SMT

Modular reifiable matching: a list-of-functors approach to two-level types

Injective type families for Haskell

The remote monad design pattern

Bridging the GUI gap with reactive values and relations

Proceedings of the 8th ACM SIGPLAN Symposium on Haskell - Haskell 2015
Latest Publications