Source

International Symposium on Haskell

Source type: conference

Alternate name: Symposium/Workshop on Haskell

Fully OA: No

DOAJ: No

OpenAlex ID: S4306420149

Template meta-programming for Haskell

2002 · Tim Sheard, Simon Peyton Jones · International Symposium on Haskell · 576

Functional reactive programming, continued

2002 · Henrik Nilsson, Antony Courtney, et al. · International Symposium on Haskell · 223

Smallcheck and lazy smallcheck

2008 · Colin Runciman, Matthew Naylor, et al. · International Symposium on Haskell · 197

Strongly typed heterogeneous collections

2004 · Oleg Kiselyov, Ralf Lämmel, et al. · International Symposium on Haskell · 187

PDF

Push-pull functional reactive programming

2009 · Conal M. Elliott · International Symposium on Haskell · 140

A lightweight implementation of generics and dynamics

2002 · James Cheney, Ralf Hinze · International Symposium on Haskell · 126

The Yampa arcade

2003 · Antony Courtney, Henrik Nilsson, et al. · International Symposium on Haskell · 120

Freer monads, more extensible effects

2015 · Oleg Kiselyov, Hiromi Ishii · International Symposium on Haskell · 115

Haskell session types with (almost) no class

2008 · Riccardo Pucella, Jesse A. Tov · International Symposium on Haskell · 111

Type-safe observable sharing in Haskell

2009 · Andy Gill · International Symposium on Haskell · 93

Helium, for learning Haskell

2003 · Bastiaan Heeren, Daan Leijen, et al. · International Symposium on Haskell · 93

A library for light-weight information-flow security in haskell

2008 · Alejandro Russo, Koen Claessen, et al. · International Symposium on Haskell · 91

Effect handlers in scope

2014 · Nicolas Wu, Tom Schrijvers, et al. · International Symposium on Haskell · 86

Extensible effects

2013 · Oleg Kiselyov, Amr Sabry, et al. · International Symposium on Haskell · 86

Interactive type debugging in Haskell

2003 · Peter J. Stuckey, Martin Sulzmann, et al. · International Symposium on Haskell · 82

Comparing libraries for generic programming in haskell

2008 · Alexey Rodriguez, Johan Jeuring, et al. · International Symposium on Haskell · 73

LiquidHaskell

2014 · Niki Vazou, Eric L. Seidel, et al. · International Symposium on Haskell · 71

Haskell on a shared-memory multiprocessor

2005 · Tim Harris, Simon Marlow, et al. · International Symposium on Haskell · 65

Functional pearl

2004 · Conor McBride, James McKinna · International Symposium on Haskell · 62

Unembedding domain-specific languages

2009 · Robert Atkey, Sam Lindley, et al. · International Symposium on Haskell · 61

Programming graphics processors functionally

2004 · Conal Elliott · International Symposium on Haskell · 53

Testing monadic code with QuickCheck

2002 · Koen Claessen, John Hughes · International Symposium on Haskell · 53

Practical probabilistic programming with monads

2015 · Adam Ścibior, Zoubin Ghahramani, et al. · International Symposium on Haskell · 50

PDF

The architecture of the Utrecht Haskell compiler

2009 · Atze Dijkstra, Jeroen Fokker, et al. · International Symposium on Haskell · 50

Hasochism

2013 · Sam Lindley, Conor McBride · International Symposium on Haskell · 49

Works count: 266

Citation count: 5,241

H-index: 37

I10-index: 116

2yr mean citedness: 1.207