Workshop Haskell 2017 – Author Index

A B C D E F G J K L M N O P Q R S V W Y Z

	Algehed, Maximilian	Haskell '17: "QuickSpec: A Lightweight Theory ..." QuickSpec: A Lightweight Theory Exploration Tool for Programmers (System Demonstration) Maximilian Algehed, Koen Claessen, Moa Johansson, and Nick Smallbone (Chalmers University of Technology, Sweden) @InProceedings{Haskell17p49, author = {Maximilian Algehed and Koen Claessen and Moa Johansson and Nick Smallbone}, title = {QuickSpec: A Lightweight Theory Exploration Tool for Programmers (System Demonstration)}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {49-48}, doi = {}, year = {2017}, } Article: icfpws17haskellmain-haskellmainid10-p doi:
	Aronsson, Markus	Haskell '17: "Hardware Software Co-design ..." Hardware Software Co-design in Haskell Markus Aronsson and Mary Sheeran (Chalmers University of Technology, Sweden) @InProceedings{Haskell17p186, author = {Markus Aronsson and Mary Sheeran}, title = {Hardware Software Co-design in Haskell}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {186-185}, doi = {}, year = {2017}, } Article: icfpws17haskellmain-haskellmainid29-p doi:
	Blažević, Mario	Haskell '17: "Packrats Parse in Packs ..." Packrats Parse in Packs Mario Blažević and Jacques Légaré (Stilo International, Canada) @InProceedings{Haskell17p25, author = {Mario Blažević and Jacques Légaré}, title = {Packrats Parse in Packs}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {25-24}, doi = {}, year = {2017}, } Article: icfpws17haskellmain-haskellmainid23-p doi:
	Bottu, Gert-Jan	Haskell '17: "Quantified Class Constraints ..." Quantified Class Constraints Gert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno C. d. S. Oliveira, and Philip Wadler (KU Leuven, Belgium; University of Hong Kong, China; University of Edinburgh, UK) @InProceedings{Haskell17p172, author = {Gert-Jan Bottu and Georgios Karachalias and Tom Schrijvers and Bruno C. d. S. Oliveira and Philip Wadler}, title = {Quantified Class Constraints}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {172-171}, doi = {}, year = {2017}, } Article: icfpws17haskellmain-haskellmainid36-p doi:
	Braquehais, Rudy	Haskell '17: "Speculate: Discovering Conditional ..." Speculate: Discovering Conditional Equations and Inequalities about Black-Box Functions by Reasoning from Test Results Rudy Braquehais and Colin Runciman (University of York, UK) @InProceedings{Haskell17p51, author = {Rudy Braquehais and Colin Runciman}, title = {Speculate: Discovering Conditional Equations and Inequalities about Black-Box Functions by Reasoning from Test Results}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {51-50}, doi = {}, year = {2017}, } Article: icfpws17haskellmain-haskellmainid4-p doi:
	Chakravarty, Manuel M. T.	Haskell '17: "Streaming Irregular Arrays ..." Streaming Irregular Arrays Robert Clifton-Everest, Trevor L. McDonell, Manuel M. T. Chakravarty, and Gabriele Keller (UNSW, Australia) @InProceedings{Haskell17p198, author = {Robert Clifton-Everest and Trevor L. McDonell and Manuel M. T. Chakravarty and Gabriele Keller}, title = {Streaming Irregular Arrays}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {198-197}, doi = {}, year = {2017}, } Article: icfpws17haskellmain-haskellmainid28-p doi:
	Chen, Chao-Hong	Haskell '17: "Adaptive Lock-Free Data Structures ..." Adaptive Lock-Free Data Structures in Haskell: A General Method for Concurrent Implementation Swapping Chao-Hong Chen, Vikraman Choudhury, and Ryan R. Newton (Indiana University, USA) @InProceedings{Haskell17p222, author = {Chao-Hong Chen and Vikraman Choudhury and Ryan R. Newton}, title = {Adaptive Lock-Free Data Structures in Haskell: A General Method for Concurrent Implementation Swapping}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {222-221}, doi = {}, year = {2017}, } Article: icfpws17haskellmain-haskellmainid11-p doi:
	Choudhury, Vikraman	Haskell '17: "Adaptive Lock-Free Data Structures ..." Adaptive Lock-Free Data Structures in Haskell: A General Method for Concurrent Implementation Swapping Chao-Hong Chen, Vikraman Choudhury, and Ryan R. Newton (Indiana University, USA) @InProceedings{Haskell17p222, author = {Chao-Hong Chen and Vikraman Choudhury and Ryan R. Newton}, title = {Adaptive Lock-Free Data Structures in Haskell: A General Method for Concurrent Implementation Swapping}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {222-221}, doi = {}, year = {2017}, } Article: icfpws17haskellmain-haskellmainid11-p doi:
	Claessen, Koen	Haskell '17: "QuickSpec: A Lightweight Theory ..." QuickSpec: A Lightweight Theory Exploration Tool for Programmers (System Demonstration) Maximilian Algehed, Koen Claessen, Moa Johansson, and Nick Smallbone (Chalmers University of Technology, Sweden) @InProceedings{Haskell17p49, author = {Maximilian Algehed and Koen Claessen and Moa Johansson and Nick Smallbone}, title = {QuickSpec: A Lightweight Theory Exploration Tool for Programmers (System Demonstration)}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {49-48}, doi = {}, year = {2017}, } Article: icfpws17haskellmain-haskellmainid10-p doi:
	Clifton-Everest, Robert	Haskell '17: "Streaming Irregular Arrays ..." Streaming Irregular Arrays Robert Clifton-Everest, Trevor L. McDonell, Manuel M. T. Chakravarty, and Gabriele Keller (UNSW, Australia) @InProceedings{Haskell17p198, author = {Robert Clifton-Everest and Trevor L. McDonell and Manuel M. T. Chakravarty and Gabriele Keller}, title = {Streaming Irregular Arrays}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {198-197}, doi = {}, year = {2017}, } Article: icfpws17haskellmain-haskellmainid28-p doi:
	Dawson, Justin	Haskell '17: "Composable Network Stacks ..." Composable Network Stacks and Remote Monads Justin Dawson, Mark Grebe, and Andy Gill (University of Kansas, USA) @InProceedings{Haskell17p99, author = {Justin Dawson and Mark Grebe and Andy Gill}, title = {Composable Network Stacks and Remote Monads}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {99-98}, doi = {}, year = {2017}, } Article: icfpws17haskellmain-haskellmainid26-p doi:
	Delaware, Benjamin	Haskell '17: "Using Coq to Write Fast and ..." Using Coq to Write Fast and Correct Haskell John Wiegley and Benjamin Delaware (BAE Systems, USA; Purdue University, USA) @InProceedings{Haskell17p63, author = {John Wiegley and Benjamin Delaware}, title = {Using Coq to Write Fast and Correct Haskell}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {63-62}, doi = {}, year = {2017}, } Article: icfpws17haskellmain-haskellmainid7-p doi:
	Ekblad, Anton	Haskell '17: "A Meta-EDSL for Distributed ..." A Meta-EDSL for Distributed Web Applications Anton Ekblad (Chalmers University of Technology, Sweden) @InProceedings{Haskell17p87, author = {Anton Ekblad}, title = {A Meta-EDSL for Distributed Web Applications}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {87-86}, doi = {}, year = {2017}, } Article: icfpws17haskellmain-haskellmainid15-p doi:
	Foner, Kenneth	Haskell '17: "Ode on a Random Urn (Functional ..." Ode on a Random Urn (Functional Pearl) Leonidas Lampropoulos, Antal Spector-Zabusky, and Kenneth Foner (University of Pennsylvania, USA) @InProceedings{Haskell17p37, author = {Leonidas Lampropoulos and Antal Spector-Zabusky and Kenneth Foner}, title = {Ode on a Random Urn (Functional Pearl)}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {37-36}, doi = {}, year = {2017}, } Article: icfpws17haskellmain-haskellmainid5-p doi:
	Gale, Michael B.	Haskell '17: "Well-Typed Music Does Not ..." Well-Typed Music Does Not Sound Wrong (Experience Report) Dmitrij Szamozvancev and Michael B. Gale (University of Cambridge, UK) @InProceedings{Haskell17p123, author = {Dmitrij Szamozvancev and Michael B. Gale}, title = {Well-Typed Music Does Not Sound Wrong (Experience Report)}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {123-122}, doi = {}, year = {2017}, } Article: icfpws17haskellmain-haskellmainid8-p doi:
	Gill, Andy	Haskell '17: "Composable Network Stacks ..." Composable Network Stacks and Remote Monads Justin Dawson, Mark Grebe, and Andy Gill (University of Kansas, USA) @InProceedings{Haskell17p99, author = {Justin Dawson and Mark Grebe and Andy Gill}, title = {Composable Network Stacks and Remote Monads}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {99-98}, doi = {}, year = {2017}, } Article: icfpws17haskellmain-haskellmainid26-p doi:
	Grebe, Mark	Haskell '17: "Composable Network Stacks ..." Composable Network Stacks and Remote Monads Justin Dawson, Mark Grebe, and Andy Gill (University of Kansas, USA) @InProceedings{Haskell17p99, author = {Justin Dawson and Mark Grebe and Andy Gill}, title = {Composable Network Stacks and Remote Monads}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {99-98}, doi = {}, year = {2017}, } Article: icfpws17haskellmain-haskellmainid26-p doi:
	Johansson, Moa	Haskell '17: "QuickSpec: A Lightweight Theory ..." QuickSpec: A Lightweight Theory Exploration Tool for Programmers (System Demonstration) Maximilian Algehed, Koen Claessen, Moa Johansson, and Nick Smallbone (Chalmers University of Technology, Sweden) @InProceedings{Haskell17p49, author = {Maximilian Algehed and Koen Claessen and Moa Johansson and Nick Smallbone}, title = {QuickSpec: A Lightweight Theory Exploration Tool for Programmers (System Demonstration)}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {49-48}, doi = {}, year = {2017}, } Article: icfpws17haskellmain-haskellmainid10-p doi:
	Karachalias, Georgios	Haskell '17: "Elaboration on Functional ..." Elaboration on Functional Dependencies: Functional Dependencies Are Dead, Long Live Functional Dependencies! Georgios Karachalias and Tom Schrijvers (KU Leuven, Belgium) @InProceedings{Haskell17p157, author = {Georgios Karachalias and Tom Schrijvers}, title = {Elaboration on Functional Dependencies: Functional Dependencies Are Dead, Long Live Functional Dependencies!}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {157-156}, doi = {}, year = {2017}, } Article: icfpws17haskellmain-haskellmainid9-p doi: Haskell '17: "Quantified Class Constraints ..." Quantified Class Constraints Gert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno C. d. S. Oliveira, and Philip Wadler (KU Leuven, Belgium; University of Hong Kong, China; University of Edinburgh, UK) @InProceedings{Haskell17p172, author = {Gert-Jan Bottu and Georgios Karachalias and Tom Schrijvers and Bruno C. d. S. Oliveira and Philip Wadler}, title = {Quantified Class Constraints}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {172-171}, doi = {}, year = {2017}, } Article: icfpws17haskellmain-haskellmainid36-p doi:
	Keller, Gabriele	Haskell '17: "Streaming Irregular Arrays ..." Streaming Irregular Arrays Robert Clifton-Everest, Trevor L. McDonell, Manuel M. T. Chakravarty, and Gabriele Keller (UNSW, Australia) @InProceedings{Haskell17p198, author = {Robert Clifton-Everest and Trevor L. McDonell and Manuel M. T. Chakravarty and Gabriele Keller}, title = {Streaming Irregular Arrays}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {198-197}, doi = {}, year = {2017}, } Article: icfpws17haskellmain-haskellmainid28-p doi:
	Lampropoulos, Leonidas	Haskell '17: "Ode on a Random Urn (Functional ..." Ode on a Random Urn (Functional Pearl) Leonidas Lampropoulos, Antal Spector-Zabusky, and Kenneth Foner (University of Pennsylvania, USA) @InProceedings{Haskell17p37, author = {Leonidas Lampropoulos and Antal Spector-Zabusky and Kenneth Foner}, title = {Ode on a Random Urn (Functional Pearl)}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {37-36}, doi = {}, year = {2017}, } Article: icfpws17haskellmain-haskellmainid5-p doi: Haskell '17: "A Tale of Two Provers: Verifying ..." A Tale of Two Provers: Verifying Monoidal String Matching in Liquid Haskell and Coq Niki Vazou, Leonidas Lampropoulos, and Jeff Polakow (University of Maryland, USA; University of Pennsylvania, USA; Awake Networks, USA) @InProceedings{Haskell17p75, author = {Niki Vazou and Leonidas Lampropoulos and Jeff Polakow}, title = {A Tale of Two Provers: Verifying Monoidal String Matching in Liquid Haskell and Coq}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {75-74}, doi = {}, year = {2017}, } Article: icfpws17haskellmain-haskellmainid14-p doi:
	Légaré, Jacques	Haskell '17: "Packrats Parse in Packs ..." Packrats Parse in Packs Mario Blažević and Jacques Légaré (Stilo International, Canada) @InProceedings{Haskell17p25, author = {Mario Blažević and Jacques Légaré}, title = {Packrats Parse in Packs}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {25-24}, doi = {}, year = {2017}, } Article: icfpws17haskellmain-haskellmainid23-p doi:
	McDonell, Trevor L.	Haskell '17: "Streaming Irregular Arrays ..." Streaming Irregular Arrays Robert Clifton-Everest, Trevor L. McDonell, Manuel M. T. Chakravarty, and Gabriele Keller (UNSW, Australia) @InProceedings{Haskell17p198, author = {Robert Clifton-Everest and Trevor L. McDonell and Manuel M. T. Chakravarty and Gabriele Keller}, title = {Streaming Irregular Arrays}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {198-197}, doi = {}, year = {2017}, } Article: icfpws17haskellmain-haskellmainid28-p doi:
	Mokhov, Andrey	Haskell '17: "Algebraic Graphs with Class ..." Algebraic Graphs with Class (Functional Pearl) Andrey Mokhov (Newcastle University, UK) @InProceedings{Haskell17p13, author = {Andrey Mokhov}, title = {Algebraic Graphs with Class (Functional Pearl)}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2017}, } Article: icfpws17haskellmain-haskellmainid20-p doi:
	Newton, Ryan R.	Haskell '17: "Adaptive Lock-Free Data Structures ..." Adaptive Lock-Free Data Structures in Haskell: A General Method for Concurrent Implementation Swapping Chao-Hong Chen, Vikraman Choudhury, and Ryan R. Newton (Indiana University, USA) @InProceedings{Haskell17p222, author = {Chao-Hong Chen and Vikraman Choudhury and Ryan R. Newton}, title = {Adaptive Lock-Free Data Structures in Haskell: A General Method for Concurrent Implementation Swapping}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {222-221}, doi = {}, year = {2017}, } Article: icfpws17haskellmain-haskellmainid11-p doi:
	Oliveira, Bruno C. d. S.	Haskell '17: "Quantified Class Constraints ..." Quantified Class Constraints Gert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno C. d. S. Oliveira, and Philip Wadler (KU Leuven, Belgium; University of Hong Kong, China; University of Edinburgh, UK) @InProceedings{Haskell17p172, author = {Gert-Jan Bottu and Georgios Karachalias and Tom Schrijvers and Bruno C. d. S. Oliveira and Philip Wadler}, title = {Quantified Class Constraints}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {172-171}, doi = {}, year = {2017}, } Article: icfpws17haskellmain-haskellmainid36-p doi:
	Paykin, Jennifer	Haskell '17: "The Linearity Monad ..." The Linearity Monad Jennifer Paykin and Steve Zdancewic (University of Pennsylvania, USA) @InProceedings{Haskell17p141, author = {Jennifer Paykin and Steve Zdancewic}, title = {The Linearity Monad}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {141-140}, doi = {}, year = {2017}, } Article: icfpws17haskellmain-haskellmainid13-p doi:
	Perez, Ivan	Haskell '17: "Back to the Future: Time Travel ..." Back to the Future: Time Travel in FRP Ivan Perez (University of Nottingham, UK) @InProceedings{Haskell17p129, author = {Ivan Perez}, title = {Back to the Future: Time Travel in FRP}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {129-128}, doi = {}, year = {2017}, } Article: icfpws17haskellmain-haskellmainid31-p doi:
	Polakow, Jeff	Haskell '17: "A Tale of Two Provers: Verifying ..." A Tale of Two Provers: Verifying Monoidal String Matching in Liquid Haskell and Coq Niki Vazou, Leonidas Lampropoulos, and Jeff Polakow (University of Maryland, USA; University of Pennsylvania, USA; Awake Networks, USA) @InProceedings{Haskell17p75, author = {Niki Vazou and Leonidas Lampropoulos and Jeff Polakow}, title = {A Tale of Two Provers: Verifying Monoidal String Matching in Liquid Haskell and Coq}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {75-74}, doi = {}, year = {2017}, } Article: icfpws17haskellmain-haskellmainid14-p doi:
	Quick, Donya	Haskell '17: "Algorithmic Music in Haskell ..." Algorithmic Music in Haskell (Invited Talk) Donya Quick (Stevens Institute of Technology, USA) @InProceedings{Haskell17p111, author = {Donya Quick}, title = {Algorithmic Music in Haskell (Invited Talk)}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {111-110}, doi = {}, year = {2017}, } Article: icfpws17haskellmain-haskellinv2-p doi:
	Rémy, Didier	Haskell '17: "Ornaments: Exploiting Parametricity ..." Ornaments: Exploiting Parametricity for Safer, More Automated Code Refactorization and Code Reuse (Invited Talk) Didier Rémy (Inria, France) @InProceedings{Haskell17p1, author = {Didier Rémy}, title = {Ornaments: Exploiting Parametricity for Safer, More Automated Code Refactorization and Code Reuse (Invited Talk)}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2017}, } Article: icfpws17haskellmain-haskellinv1-p doi:
	Runciman, Colin	Haskell '17: "Speculate: Discovering Conditional ..." Speculate: Discovering Conditional Equations and Inequalities about Black-Box Functions by Reasoning from Test Results Rudy Braquehais and Colin Runciman (University of York, UK) @InProceedings{Haskell17p51, author = {Rudy Braquehais and Colin Runciman}, title = {Speculate: Discovering Conditional Equations and Inequalities about Black-Box Functions by Reasoning from Test Results}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {51-50}, doi = {}, year = {2017}, } Article: icfpws17haskellmain-haskellmainid4-p doi:
	Schrijvers, Tom	Haskell '17: "Elaboration on Functional ..." Elaboration on Functional Dependencies: Functional Dependencies Are Dead, Long Live Functional Dependencies! Georgios Karachalias and Tom Schrijvers (KU Leuven, Belgium) @InProceedings{Haskell17p157, author = {Georgios Karachalias and Tom Schrijvers}, title = {Elaboration on Functional Dependencies: Functional Dependencies Are Dead, Long Live Functional Dependencies!}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {157-156}, doi = {}, year = {2017}, } Article: icfpws17haskellmain-haskellmainid9-p doi: Haskell '17: "Quantified Class Constraints ..." Quantified Class Constraints Gert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno C. d. S. Oliveira, and Philip Wadler (KU Leuven, Belgium; University of Hong Kong, China; University of Edinburgh, UK) @InProceedings{Haskell17p172, author = {Gert-Jan Bottu and Georgios Karachalias and Tom Schrijvers and Bruno C. d. S. Oliveira and Philip Wadler}, title = {Quantified Class Constraints}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {172-171}, doi = {}, year = {2017}, } Article: icfpws17haskellmain-haskellmainid36-p doi:
	Scott, Michael L.	Haskell '17: "Improving STM Performance ..." Improving STM Performance with Transactional Structs Ryan Yates and Michael L. Scott (University of Rochester, USA) @InProceedings{Haskell17p210, author = {Ryan Yates and Michael L. Scott}, title = {Improving STM Performance with Transactional Structs}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {210-209}, doi = {}, year = {2017}, } Article: icfpws17haskellmain-haskellmainid33-p doi:
	Sheeran, Mary	Haskell '17: "Hardware Software Co-design ..." Hardware Software Co-design in Haskell Markus Aronsson and Mary Sheeran (Chalmers University of Technology, Sweden) @InProceedings{Haskell17p186, author = {Markus Aronsson and Mary Sheeran}, title = {Hardware Software Co-design in Haskell}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {186-185}, doi = {}, year = {2017}, } Article: icfpws17haskellmain-haskellmainid29-p doi:
	Smallbone, Nick	Haskell '17: "QuickSpec: A Lightweight Theory ..." QuickSpec: A Lightweight Theory Exploration Tool for Programmers (System Demonstration) Maximilian Algehed, Koen Claessen, Moa Johansson, and Nick Smallbone (Chalmers University of Technology, Sweden) @InProceedings{Haskell17p49, author = {Maximilian Algehed and Koen Claessen and Moa Johansson and Nick Smallbone}, title = {QuickSpec: A Lightweight Theory Exploration Tool for Programmers (System Demonstration)}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {49-48}, doi = {}, year = {2017}, } Article: icfpws17haskellmain-haskellmainid10-p doi:
	Spector-Zabusky, Antal	Haskell '17: "Ode on a Random Urn (Functional ..." Ode on a Random Urn (Functional Pearl) Leonidas Lampropoulos, Antal Spector-Zabusky, and Kenneth Foner (University of Pennsylvania, USA) @InProceedings{Haskell17p37, author = {Leonidas Lampropoulos and Antal Spector-Zabusky and Kenneth Foner}, title = {Ode on a Random Urn (Functional Pearl)}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {37-36}, doi = {}, year = {2017}, } Article: icfpws17haskellmain-haskellmainid5-p doi:
	Szamozvancev, Dmitrij	Haskell '17: "Well-Typed Music Does Not ..." Well-Typed Music Does Not Sound Wrong (Experience Report) Dmitrij Szamozvancev and Michael B. Gale (University of Cambridge, UK) @InProceedings{Haskell17p123, author = {Dmitrij Szamozvancev and Michael B. Gale}, title = {Well-Typed Music Does Not Sound Wrong (Experience Report)}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {123-122}, doi = {}, year = {2017}, } Article: icfpws17haskellmain-haskellmainid8-p doi:
	Vazou, Niki	Haskell '17: "A Tale of Two Provers: Verifying ..." A Tale of Two Provers: Verifying Monoidal String Matching in Liquid Haskell and Coq Niki Vazou, Leonidas Lampropoulos, and Jeff Polakow (University of Maryland, USA; University of Pennsylvania, USA; Awake Networks, USA) @InProceedings{Haskell17p75, author = {Niki Vazou and Leonidas Lampropoulos and Jeff Polakow}, title = {A Tale of Two Provers: Verifying Monoidal String Matching in Liquid Haskell and Coq}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {75-74}, doi = {}, year = {2017}, } Article: icfpws17haskellmain-haskellmainid14-p doi:
	Wadler, Philip	Haskell '17: "Quantified Class Constraints ..." Quantified Class Constraints Gert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno C. d. S. Oliveira, and Philip Wadler (KU Leuven, Belgium; University of Hong Kong, China; University of Edinburgh, UK) @InProceedings{Haskell17p172, author = {Gert-Jan Bottu and Georgios Karachalias and Tom Schrijvers and Bruno C. d. S. Oliveira and Philip Wadler}, title = {Quantified Class Constraints}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {172-171}, doi = {}, year = {2017}, } Article: icfpws17haskellmain-haskellmainid36-p doi:
	Wiegley, John	Haskell '17: "Using Coq to Write Fast and ..." Using Coq to Write Fast and Correct Haskell John Wiegley and Benjamin Delaware (BAE Systems, USA; Purdue University, USA) @InProceedings{Haskell17p63, author = {John Wiegley and Benjamin Delaware}, title = {Using Coq to Write Fast and Correct Haskell}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {63-62}, doi = {}, year = {2017}, } Article: icfpws17haskellmain-haskellmainid7-p doi:
	Yates, Ryan	Haskell '17: "Improving STM Performance ..." Improving STM Performance with Transactional Structs Ryan Yates and Michael L. Scott (University of Rochester, USA) @InProceedings{Haskell17p210, author = {Ryan Yates and Michael L. Scott}, title = {Improving STM Performance with Transactional Structs}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {210-209}, doi = {}, year = {2017}, } Article: icfpws17haskellmain-haskellmainid33-p doi:
	Zdancewic, Steve	Haskell '17: "The Linearity Monad ..." The Linearity Monad Jennifer Paykin and Steve Zdancewic (University of Pennsylvania, USA) @InProceedings{Haskell17p141, author = {Jennifer Paykin and Steve Zdancewic}, title = {The Linearity Monad}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {141-140}, doi = {}, year = {2017}, } Article: icfpws17haskellmain-haskellmainid13-p doi:

46 authors

proc time: 0.05