Workshop Haskell 2016 – Author Index

A B C D E F G K L M N P R W Y

	Ågren, Mårten	Haskell '16: "Experience Report: Types for ..." Experience Report: Types for a Relational Algebra Library Lennart Augustsson and Mårten Ågren (Standard Chartered Bank, UK; Standard Chartered Bank, Singapore) @InProceedings{Haskell16p150, author = {Lennart Augustsson and Mårten Ågren}, title = {Experience Report: Types for a Relational Algebra Library}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {150-149}, doi = {}, year = {2016}, } Article: icfpws16haskellmain-haskellmain24-p doi:
	Augustsson, Lennart	Haskell '16: "Experience Report: Types for ..." Experience Report: Types for a Relational Algebra Library Lennart Augustsson and Mårten Ågren (Standard Chartered Bank, UK; Standard Chartered Bank, Singapore) @InProceedings{Haskell16p150, author = {Lennart Augustsson and Mårten Ågren}, title = {Experience Report: Types for a Relational Algebra Library}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {150-149}, doi = {}, year = {2016}, } Article: icfpws16haskellmain-haskellmain24-p doi:
	Bärenz, Manuel	Haskell '16: "Functional Reactive Programming, ..." Functional Reactive Programming, Refactored Ivan Perez, Manuel Bärenz, and Henrik Nilsson (University of Nottingham, UK; University of Bamberg, Germany) @InProceedings{Haskell16p40, author = {Ivan Perez and Manuel Bärenz and Henrik Nilsson}, title = {Functional Reactive Programming, Refactored}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {40-39}, doi = {}, year = {2016}, } Article: icfpws16haskellmain-haskellmain16-p doi:
	Bracker, Jan	Haskell '16: "Supermonads: One Notion to ..." Supermonads: One Notion to Bind Them All Jan Bracker and Henrik Nilsson (University of Nottingham, UK) @InProceedings{Haskell16p182, author = {Jan Bracker and Henrik Nilsson}, title = {Supermonads: One Notion to Bind Them All}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {182-181}, doi = {}, year = {2016}, } Article: icfpws16haskellmain-haskellmain19-p doi:
	Braquehais, Rudy	Haskell '16: "FitSpec: Refining Property ..." FitSpec: Refining Property Sets for Functional Testing Rudy Braquehais and Colin Runciman (University of York, UK) @InProceedings{Haskell16p1, author = {Rudy Braquehais and Colin Runciman}, title = {FitSpec: Refining Property Sets for Functional Testing}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2016}, } Article: icfpws16haskellmain-haskellmain2-p doi:
	Buiras, Pablo	Haskell '16: "QuickFuzz: An Automatic Random ..." QuickFuzz: An Automatic Random Fuzzer for Common File Formats Gustavo Grieco, Martín Ceresa, and Pablo Buiras (CIFASIS-CONICET, Argentina; Harvard University, USA) @InProceedings{Haskell16p14, author = {Gustavo Grieco and Martín Ceresa and Pablo Buiras}, title = {QuickFuzz: An Automatic Random Fuzzer for Common File Formats}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {14-13}, doi = {}, year = {2016}, } Article: icfpws16haskellmain-haskellmain26-p doi: Haskell '16: "The Key Monad: Type-Safe Unconstrained ..." The Key Monad: Type-Safe Unconstrained Dynamic Typing Atze van der Ploeg, Koen Claessen, and Pablo Buiras (Chalmers University of Technology, Sweden; Harvard University, USA) @InProceedings{Haskell16p169, author = {Atze van der Ploeg and Koen Claessen and Pablo Buiras}, title = {The Key Monad: Type-Safe Unconstrained Dynamic Typing}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {169-168}, doi = {}, year = {2016}, } Article: icfpws16haskellmain-haskellmain12-p doi:
	Ceresa, Martín	Haskell '16: "QuickFuzz: An Automatic Random ..." QuickFuzz: An Automatic Random Fuzzer for Common File Formats Gustavo Grieco, Martín Ceresa, and Pablo Buiras (CIFASIS-CONICET, Argentina; Harvard University, USA) @InProceedings{Haskell16p14, author = {Gustavo Grieco and Martín Ceresa and Pablo Buiras}, title = {QuickFuzz: An Automatic Random Fuzzer for Common File Formats}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {14-13}, doi = {}, year = {2016}, } Article: icfpws16haskellmain-haskellmain26-p doi:
	Chauhan, Satvik	Haskell '16: "How to Twist Pointers without ..." How to Twist Pointers without Breaking Them Satvik Chauhan, Piyush P. Kurur, and Brent A. Yorgey (Google, USA; IIT Kanpur, India; Hendrix College, USA) @InProceedings{Haskell16p66, author = {Satvik Chauhan and Piyush P. Kurur and Brent A. Yorgey}, title = {How to Twist Pointers without Breaking Them}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {66-65}, doi = {}, year = {2016}, } Article: icfpws16haskellmain-haskellmain5-p doi:
	Chiu, Kenneth	Haskell '16: "Lazy Graph Processing in Haskell ..." Lazy Graph Processing in Haskell Philip Dexter, Yu David Liu, and Kenneth Chiu (SUNY Binghamton, USA) @InProceedings{Haskell16p208, author = {Philip Dexter and Yu David Liu and Kenneth Chiu}, title = {Lazy Graph Processing in Haskell}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {208-207}, doi = {}, year = {2016}, } Article: icfpws16haskellmain-haskellmain22-p doi:
	Claessen, Koen	Haskell '16: "The Key Monad: Type-Safe Unconstrained ..." The Key Monad: Type-Safe Unconstrained Dynamic Typing Atze van der Ploeg, Koen Claessen, and Pablo Buiras (Chalmers University of Technology, Sweden; Harvard University, USA) @InProceedings{Haskell16p169, author = {Atze van der Ploeg and Koen Claessen and Pablo Buiras}, title = {The Key Monad: Type-Safe Unconstrained Dynamic Typing}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {169-168}, doi = {}, year = {2016}, } Article: icfpws16haskellmain-haskellmain12-p doi:
	Dexter, Philip	Haskell '16: "Lazy Graph Processing in Haskell ..." Lazy Graph Processing in Haskell Philip Dexter, Yu David Liu, and Kenneth Chiu (SUNY Binghamton, USA) @InProceedings{Haskell16p208, author = {Philip Dexter and Yu David Liu and Kenneth Chiu}, title = {Lazy Graph Processing in Haskell}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {208-207}, doi = {}, year = {2016}, } Article: icfpws16haskellmain-haskellmain22-p doi:
	Eisenberg, Richard A.	Haskell '16: "Pattern Synonyms ..." Pattern Synonyms Matthew Pickering, Gergő Érdi, Simon Peyton Jones, and Richard A. Eisenberg (University of Oxford, UK; Standard Chartered Bank, Singapore; Microsoft Research, UK; Bryn Mawr College, USA) @InProceedings{Haskell16p98, author = {Matthew Pickering and Gergő Érdi and Simon Peyton Jones and Richard A. Eisenberg}, title = {Pattern Synonyms}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {98-97}, doi = {}, year = {2016}, } Article: icfpws16haskellmain-haskellmain20-p doi:
	Ekblad, Anton	Haskell '16: "High-Performance Client-Side ..." High-Performance Client-Side Web Applications through Haskell EDSLs Anton Ekblad (Chalmers University of Technology, Sweden) @InProceedings{Haskell16p79, author = {Anton Ekblad}, title = {High-Performance Client-Side Web Applications through Haskell EDSLs}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {79-78}, doi = {}, year = {2016}, } Article: icfpws16haskellmain-haskellmain23-p doi:
	Érdi, Gergő	Haskell '16: "Pattern Synonyms ..." Pattern Synonyms Matthew Pickering, Gergő Érdi, Simon Peyton Jones, and Richard A. Eisenberg (University of Oxford, UK; Standard Chartered Bank, Singapore; Microsoft Research, UK; Bryn Mawr College, USA) @InProceedings{Haskell16p98, author = {Matthew Pickering and Gergő Érdi and Simon Peyton Jones and Richard A. Eisenberg}, title = {Pattern Synonyms}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {98-97}, doi = {}, year = {2016}, } Article: icfpws16haskellmain-haskellmain20-p doi:
	Fisher, Kathleen	Haskell '16: "Autobahn: Using Genetic Algorithms ..." Autobahn: Using Genetic Algorithms to Infer Strictness Annotations Yisu Remy Wang, Diogenes Nunez, and Kathleen Fisher (Tufts University, USA) @InProceedings{Haskell16p137, author = {Yisu Remy Wang and Diogenes Nunez and Kathleen Fisher}, title = {Autobahn: Using Genetic Algorithms to Infer Strictness Annotations}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {137-136}, doi = {}, year = {2016}, } Article: icfpws16haskellmain-haskellmain13-p doi:
	Fluet, Matthew	Haskell '16: "Revisiting Software Transactional ..." Revisiting Software Transactional Memory in Haskell Matthew Le, Ryan Yates, and Matthew Fluet (Rochester Institute of Technology, USA; University of Rochester, USA) @InProceedings{Haskell16p124, author = {Matthew Le and Ryan Yates and Matthew Fluet}, title = {Revisiting Software Transactional Memory in Haskell}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {124-123}, doi = {}, year = {2016}, } Article: icfpws16haskellmain-haskellmain30-p doi:
	Gibbons, Jeremy	Haskell '16: "Free Delivery (Functional ..." Free Delivery (Functional Pearl) Jeremy Gibbons (University of Oxford, UK) @InProceedings{Haskell16p53, author = {Jeremy Gibbons}, title = {Free Delivery (Functional Pearl)}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {53-52}, doi = {}, year = {2016}, } Article: icfpws16haskellmain-haskellmain6-p doi:
	Grieco, Gustavo	Haskell '16: "QuickFuzz: An Automatic Random ..." QuickFuzz: An Automatic Random Fuzzer for Common File Formats Gustavo Grieco, Martín Ceresa, and Pablo Buiras (CIFASIS-CONICET, Argentina; Harvard University, USA) @InProceedings{Haskell16p14, author = {Gustavo Grieco and Martín Ceresa and Pablo Buiras}, title = {QuickFuzz: An Automatic Random Fuzzer for Common File Formats}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {14-13}, doi = {}, year = {2016}, } Article: icfpws16haskellmain-haskellmain26-p doi:
	Kmett, Edward	Haskell '16: "Desugaring Haskell's do-Notation ..." Desugaring Haskell's do-Notation into Applicative Operations Simon Marlow, Simon Peyton Jones, Edward Kmett, and Andrey Mokhov (Facebook, UK; Microsoft Research, UK; S&P Global, USA; Newcastle University, UK) @InProceedings{Haskell16p111, author = {Simon Marlow and Simon Peyton Jones and Edward Kmett and Andrey Mokhov}, title = {Desugaring Haskell's do-Notation into Applicative Operations}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {111-110}, doi = {}, year = {2016}, } Article: icfpws16haskellmain-haskellmain10-p doi:
	Kurur, Piyush P.	Haskell '16: "How to Twist Pointers without ..." How to Twist Pointers without Breaking Them Satvik Chauhan, Piyush P. Kurur, and Brent A. Yorgey (Google, USA; IIT Kanpur, India; Hendrix College, USA) @InProceedings{Haskell16p66, author = {Satvik Chauhan and Piyush P. Kurur and Brent A. Yorgey}, title = {How to Twist Pointers without Breaking Them}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {66-65}, doi = {}, year = {2016}, } Article: icfpws16haskellmain-haskellmain5-p doi:
	Le, Matthew	Haskell '16: "Revisiting Software Transactional ..." Revisiting Software Transactional Memory in Haskell Matthew Le, Ryan Yates, and Matthew Fluet (Rochester Institute of Technology, USA; University of Rochester, USA) @InProceedings{Haskell16p124, author = {Matthew Le and Ryan Yates and Matthew Fluet}, title = {Revisiting Software Transactional Memory in Haskell}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {124-123}, doi = {}, year = {2016}, } Article: icfpws16haskellmain-haskellmain30-p doi:
	Lindley, Sam	Haskell '16: "Embedding Session Types in ..." Embedding Session Types in Haskell Sam Lindley and J. Garrett Morris (University of Edinburgh, UK) @InProceedings{Haskell16p156, author = {Sam Lindley and J. Garrett Morris}, title = {Embedding Session Types in Haskell}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {156-155}, doi = {}, year = {2016}, } Article: icfpws16haskellmain-haskellmain28-p doi:
	Liu, Hai	Haskell '16: "Causal Commutative Arrows ..." Causal Commutative Arrows Revisited Jeremy Yallop and Hai Liu (University of Cambridge, UK; Intel Labs, USA) @InProceedings{Haskell16p27, author = {Jeremy Yallop and Hai Liu}, title = {Causal Commutative Arrows Revisited}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {27-26}, doi = {}, year = {2016}, } Article: icfpws16haskellmain-haskellmain29-p doi:
	Liu, Yu David	Haskell '16: "Lazy Graph Processing in Haskell ..." Lazy Graph Processing in Haskell Philip Dexter, Yu David Liu, and Kenneth Chiu (SUNY Binghamton, USA) @InProceedings{Haskell16p208, author = {Philip Dexter and Yu David Liu and Kenneth Chiu}, title = {Lazy Graph Processing in Haskell}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {208-207}, doi = {}, year = {2016}, } Article: icfpws16haskellmain-haskellmain22-p doi:
	Marlow, Simon	Haskell '16: "Desugaring Haskell's do-Notation ..." Desugaring Haskell's do-Notation into Applicative Operations Simon Marlow, Simon Peyton Jones, Edward Kmett, and Andrey Mokhov (Facebook, UK; Microsoft Research, UK; S&P Global, USA; Newcastle University, UK) @InProceedings{Haskell16p111, author = {Simon Marlow and Simon Peyton Jones and Edward Kmett and Andrey Mokhov}, title = {Desugaring Haskell's do-Notation into Applicative Operations}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {111-110}, doi = {}, year = {2016}, } Article: icfpws16haskellmain-haskellmain10-p doi: Haskell '16: "Non-recursive Make Considered ..." Non-recursive Make Considered Harmful: Build Systems at Scale Andrey Mokhov, Neil Mitchell, Simon Peyton Jones, and Simon Marlow (Newcastle University, UK; Standard Chartered Bank, UK; Microsoft Research, UK; Facebook, UK) @InProceedings{Haskell16p195, author = {Andrey Mokhov and Neil Mitchell and Simon Peyton Jones and Simon Marlow}, title = {Non-recursive Make Considered Harmful: Build Systems at Scale}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {195-194}, doi = {}, year = {2016}, } Article: icfpws16haskellmain-haskellmain17-p doi:
	Mitchell, Neil	Haskell '16: "Non-recursive Make Considered ..." Non-recursive Make Considered Harmful: Build Systems at Scale Andrey Mokhov, Neil Mitchell, Simon Peyton Jones, and Simon Marlow (Newcastle University, UK; Standard Chartered Bank, UK; Microsoft Research, UK; Facebook, UK) @InProceedings{Haskell16p195, author = {Andrey Mokhov and Neil Mitchell and Simon Peyton Jones and Simon Marlow}, title = {Non-recursive Make Considered Harmful: Build Systems at Scale}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {195-194}, doi = {}, year = {2016}, } Article: icfpws16haskellmain-haskellmain17-p doi:
	Mokhov, Andrey	Haskell '16: "Desugaring Haskell's do-Notation ..." Desugaring Haskell's do-Notation into Applicative Operations Simon Marlow, Simon Peyton Jones, Edward Kmett, and Andrey Mokhov (Facebook, UK; Microsoft Research, UK; S&P Global, USA; Newcastle University, UK) @InProceedings{Haskell16p111, author = {Simon Marlow and Simon Peyton Jones and Edward Kmett and Andrey Mokhov}, title = {Desugaring Haskell's do-Notation into Applicative Operations}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {111-110}, doi = {}, year = {2016}, } Article: icfpws16haskellmain-haskellmain10-p doi: Haskell '16: "Non-recursive Make Considered ..." Non-recursive Make Considered Harmful: Build Systems at Scale Andrey Mokhov, Neil Mitchell, Simon Peyton Jones, and Simon Marlow (Newcastle University, UK; Standard Chartered Bank, UK; Microsoft Research, UK; Facebook, UK) @InProceedings{Haskell16p195, author = {Andrey Mokhov and Neil Mitchell and Simon Peyton Jones and Simon Marlow}, title = {Non-recursive Make Considered Harmful: Build Systems at Scale}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {195-194}, doi = {}, year = {2016}, } Article: icfpws16haskellmain-haskellmain17-p doi:
	Morris, J. Garrett	Haskell '16: "Embedding Session Types in ..." Embedding Session Types in Haskell Sam Lindley and J. Garrett Morris (University of Edinburgh, UK) @InProceedings{Haskell16p156, author = {Sam Lindley and J. Garrett Morris}, title = {Embedding Session Types in Haskell}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {156-155}, doi = {}, year = {2016}, } Article: icfpws16haskellmain-haskellmain28-p doi:
	Nilsson, Henrik	Haskell '16: "Supermonads: One Notion to ..." Supermonads: One Notion to Bind Them All Jan Bracker and Henrik Nilsson (University of Nottingham, UK) @InProceedings{Haskell16p182, author = {Jan Bracker and Henrik Nilsson}, title = {Supermonads: One Notion to Bind Them All}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {182-181}, doi = {}, year = {2016}, } Article: icfpws16haskellmain-haskellmain19-p doi: Haskell '16: "Functional Reactive Programming, ..." Functional Reactive Programming, Refactored Ivan Perez, Manuel Bärenz, and Henrik Nilsson (University of Nottingham, UK; University of Bamberg, Germany) @InProceedings{Haskell16p40, author = {Ivan Perez and Manuel Bärenz and Henrik Nilsson}, title = {Functional Reactive Programming, Refactored}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {40-39}, doi = {}, year = {2016}, } Article: icfpws16haskellmain-haskellmain16-p doi:
	Nunez, Diogenes	Haskell '16: "Autobahn: Using Genetic Algorithms ..." Autobahn: Using Genetic Algorithms to Infer Strictness Annotations Yisu Remy Wang, Diogenes Nunez, and Kathleen Fisher (Tufts University, USA) @InProceedings{Haskell16p137, author = {Yisu Remy Wang and Diogenes Nunez and Kathleen Fisher}, title = {Autobahn: Using Genetic Algorithms to Infer Strictness Annotations}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {137-136}, doi = {}, year = {2016}, } Article: icfpws16haskellmain-haskellmain13-p doi:
	Perez, Ivan	Haskell '16: "Functional Reactive Programming, ..." Functional Reactive Programming, Refactored Ivan Perez, Manuel Bärenz, and Henrik Nilsson (University of Nottingham, UK; University of Bamberg, Germany) @InProceedings{Haskell16p40, author = {Ivan Perez and Manuel Bärenz and Henrik Nilsson}, title = {Functional Reactive Programming, Refactored}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {40-39}, doi = {}, year = {2016}, } Article: icfpws16haskellmain-haskellmain16-p doi:
	Peyton Jones, Simon	Haskell '16: "Desugaring Haskell's do-Notation ..." Desugaring Haskell's do-Notation into Applicative Operations Simon Marlow, Simon Peyton Jones, Edward Kmett, and Andrey Mokhov (Facebook, UK; Microsoft Research, UK; S&P Global, USA; Newcastle University, UK) @InProceedings{Haskell16p111, author = {Simon Marlow and Simon Peyton Jones and Edward Kmett and Andrey Mokhov}, title = {Desugaring Haskell's do-Notation into Applicative Operations}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {111-110}, doi = {}, year = {2016}, } Article: icfpws16haskellmain-haskellmain10-p doi: Haskell '16: "Non-recursive Make Considered ..." Non-recursive Make Considered Harmful: Build Systems at Scale Andrey Mokhov, Neil Mitchell, Simon Peyton Jones, and Simon Marlow (Newcastle University, UK; Standard Chartered Bank, UK; Microsoft Research, UK; Facebook, UK) @InProceedings{Haskell16p195, author = {Andrey Mokhov and Neil Mitchell and Simon Peyton Jones and Simon Marlow}, title = {Non-recursive Make Considered Harmful: Build Systems at Scale}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {195-194}, doi = {}, year = {2016}, } Article: icfpws16haskellmain-haskellmain17-p doi: Haskell '16: "Pattern Synonyms ..." Pattern Synonyms Matthew Pickering, Gergő Érdi, Simon Peyton Jones, and Richard A. Eisenberg (University of Oxford, UK; Standard Chartered Bank, Singapore; Microsoft Research, UK; Bryn Mawr College, USA) @InProceedings{Haskell16p98, author = {Matthew Pickering and Gergő Érdi and Simon Peyton Jones and Richard A. Eisenberg}, title = {Pattern Synonyms}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {98-97}, doi = {}, year = {2016}, } Article: icfpws16haskellmain-haskellmain20-p doi:
	Pickering, Matthew	Haskell '16: "Pattern Synonyms ..." Pattern Synonyms Matthew Pickering, Gergő Érdi, Simon Peyton Jones, and Richard A. Eisenberg (University of Oxford, UK; Standard Chartered Bank, Singapore; Microsoft Research, UK; Bryn Mawr College, USA) @InProceedings{Haskell16p98, author = {Matthew Pickering and Gergő Érdi and Simon Peyton Jones and Richard A. Eisenberg}, title = {Pattern Synonyms}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {98-97}, doi = {}, year = {2016}, } Article: icfpws16haskellmain-haskellmain20-p doi:
	Ploeg, Atze van der	Haskell '16: "The Key Monad: Type-Safe Unconstrained ..." The Key Monad: Type-Safe Unconstrained Dynamic Typing Atze van der Ploeg, Koen Claessen, and Pablo Buiras (Chalmers University of Technology, Sweden; Harvard University, USA) @InProceedings{Haskell16p169, author = {Atze van der Ploeg and Koen Claessen and Pablo Buiras}, title = {The Key Monad: Type-Safe Unconstrained Dynamic Typing}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {169-168}, doi = {}, year = {2016}, } Article: icfpws16haskellmain-haskellmain12-p doi:
	Runciman, Colin	Haskell '16: "FitSpec: Refining Property ..." FitSpec: Refining Property Sets for Functional Testing Rudy Braquehais and Colin Runciman (University of York, UK) @InProceedings{Haskell16p1, author = {Rudy Braquehais and Colin Runciman}, title = {FitSpec: Refining Property Sets for Functional Testing}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2016}, } Article: icfpws16haskellmain-haskellmain2-p doi:
	Wang, Yisu Remy	Haskell '16: "Autobahn: Using Genetic Algorithms ..." Autobahn: Using Genetic Algorithms to Infer Strictness Annotations Yisu Remy Wang, Diogenes Nunez, and Kathleen Fisher (Tufts University, USA) @InProceedings{Haskell16p137, author = {Yisu Remy Wang and Diogenes Nunez and Kathleen Fisher}, title = {Autobahn: Using Genetic Algorithms to Infer Strictness Annotations}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {137-136}, doi = {}, year = {2016}, } Article: icfpws16haskellmain-haskellmain13-p doi:
	Yallop, Jeremy	Haskell '16: "Causal Commutative Arrows ..." Causal Commutative Arrows Revisited Jeremy Yallop and Hai Liu (University of Cambridge, UK; Intel Labs, USA) @InProceedings{Haskell16p27, author = {Jeremy Yallop and Hai Liu}, title = {Causal Commutative Arrows Revisited}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {27-26}, doi = {}, year = {2016}, } Article: icfpws16haskellmain-haskellmain29-p doi:
	Yamamoto, Kazuhiko	Haskell '16: "Experience Report: Developing ..." Experience Report: Developing High Performance HTTP/2 Server in Haskell Kazuhiko Yamamoto (IIJ, Japan) @InProceedings{Haskell16p92, author = {Kazuhiko Yamamoto}, title = {Experience Report: Developing High Performance HTTP/2 Server in Haskell}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {92-91}, doi = {}, year = {2016}, } Article: icfpws16haskellmain-haskellmain7-p doi:
	Yates, Ryan	Haskell '16: "Revisiting Software Transactional ..." Revisiting Software Transactional Memory in Haskell Matthew Le, Ryan Yates, and Matthew Fluet (Rochester Institute of Technology, USA; University of Rochester, USA) @InProceedings{Haskell16p124, author = {Matthew Le and Ryan Yates and Matthew Fluet}, title = {Revisiting Software Transactional Memory in Haskell}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {124-123}, doi = {}, year = {2016}, } Article: icfpws16haskellmain-haskellmain30-p doi:
	Yorgey, Brent A.	Haskell '16: "How to Twist Pointers without ..." How to Twist Pointers without Breaking Them Satvik Chauhan, Piyush P. Kurur, and Brent A. Yorgey (Google, USA; IIT Kanpur, India; Hendrix College, USA) @InProceedings{Haskell16p66, author = {Satvik Chauhan and Piyush P. Kurur and Brent A. Yorgey}, title = {How to Twist Pointers without Breaking Them}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {66-65}, doi = {}, year = {2016}, } Article: icfpws16haskellmain-haskellmain5-p doi:

46 authors

proc time: 0.04