| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
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},
}
|
| |
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},
}
|
| |
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},
}
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|