Haskell '19: "STCLang: State Thread Composition ..."
STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism
Sebastian Ertel, Justus Adam, Norman A. Rink, Andrés Goens, and Jeronimo Castrillon
(Huawei Technologies, Germany; TU Dresden, Germany)
@InProceedings{Haskell19p191,
author = {Sebastian Ertel and Justus Adam and Norman A. Rink and Andrés Goens and Jeronimo Castrillon},
title = {STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {191-190},
doi = {10.1145/3331545.3342600},
year = {2019},
}
Publisher's Version
Haskell '19: "Making a Faster Curry with ..."
Making a Faster Curry with Extensional Types
Paul Downen, Zachary Sullivan, Zena M. Ariola, and Simon Peyton Jones
(University of Oregon, USA; Microsoft Research, UK)
@InProceedings{Haskell19p73,
author = {Paul Downen and Zachary Sullivan and Zena M. Ariola and Simon Peyton Jones},
title = {Making a Faster Curry with Extensional Types},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {73-72},
doi = {10.1145/3331545.3342594},
year = {2019},
}
Publisher's Version
Haskell '19: "Verifying Effectful Haskell ..."
Verifying Effectful Haskell Programs in Coq
Jan Christiansen, Sandra Dylus, and Niels Bunkenburg
(Flensburg University of Applied Sciences, Germany; University of Kiel, Germany)
@InProceedings{Haskell19p163,
author = {Jan Christiansen and Sandra Dylus and Niels Bunkenburg},
title = {Verifying Effectful Haskell Programs in Coq},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {163-162},
doi = {10.1145/3331545.3342592},
year = {2019},
}
Publisher's Version
Haskell '19: "STCLang: State Thread Composition ..."
STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism
Sebastian Ertel, Justus Adam, Norman A. Rink, Andrés Goens, and Jeronimo Castrillon
(Huawei Technologies, Germany; TU Dresden, Germany)
@InProceedings{Haskell19p191,
author = {Sebastian Ertel and Justus Adam and Norman A. Rink and Andrés Goens and Jeronimo Castrillon},
title = {STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {191-190},
doi = {10.1145/3331545.3342600},
year = {2019},
}
Publisher's Version
Haskell '19: "Verifying Effectful Haskell ..."
Verifying Effectful Haskell Programs in Coq
Jan Christiansen, Sandra Dylus, and Niels Bunkenburg
(Flensburg University of Applied Sciences, Germany; University of Kiel, Germany)
@InProceedings{Haskell19p163,
author = {Jan Christiansen and Sandra Dylus and Niels Bunkenburg},
title = {Verifying Effectful Haskell Programs in Coq},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {163-162},
doi = {10.1145/3331545.3342592},
year = {2019},
}
Publisher's Version
Haskell '19: "Bidirectional Type Class Instances ..."
Bidirectional Type Class Instances
Koen Pauwels, Georgios Karachalias, Michiel Derhaeg, and Tom Schrijvers
(KU Leuven, Belgium; Guardsquare, Belgium)
@InProceedings{Haskell19p37,
author = {Koen Pauwels and Georgios Karachalias and Michiel Derhaeg and Tom Schrijvers},
title = {Bidirectional Type Class Instances},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {37-36},
doi = {10.1145/3331545.3342596},
year = {2019},
}
Publisher's Version
Haskell '19: "Modular Effects in Haskell ..."
Modular Effects in Haskell through Effect Polymorphism and Explicit Dictionary Applications: A New Approach and the μVeriFast Verifier as a Case Study
Dominique Devriese
(Vrije Universiteit Brussel, Belgium)
@InProceedings{Haskell19p1,
author = {Dominique Devriese},
title = {Modular Effects in Haskell through Effect Polymorphism and Explicit Dictionary Applications: A New Approach and the μVeriFast Verifier as a Case Study},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3331545.3342589},
year = {2019},
}
Publisher's Version
Published Artifact
Haskell '19: "Making a Faster Curry with ..."
Making a Faster Curry with Extensional Types
Paul Downen, Zachary Sullivan, Zena M. Ariola, and Simon Peyton Jones
(University of Oregon, USA; Microsoft Research, UK)
@InProceedings{Haskell19p73,
author = {Paul Downen and Zachary Sullivan and Zena M. Ariola and Simon Peyton Jones},
title = {Making a Faster Curry with Extensional Types},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {73-72},
doi = {10.1145/3331545.3342594},
year = {2019},
}
Publisher's Version
Haskell '19: "Verifying Effectful Haskell ..."
Verifying Effectful Haskell Programs in Coq
Jan Christiansen, Sandra Dylus, and Niels Bunkenburg
(Flensburg University of Applied Sciences, Germany; University of Kiel, Germany)
@InProceedings{Haskell19p163,
author = {Jan Christiansen and Sandra Dylus and Niels Bunkenburg},
title = {Verifying Effectful Haskell Programs in Coq},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {163-162},
doi = {10.1145/3331545.3342592},
year = {2019},
}
Publisher's Version
Haskell '19: "Scoping Monadic Relational ..."
Scoping Monadic Relational Database Queries
Anton Ekblad
(Chalmers University of Technology, Sweden)
@InProceedings{Haskell19p145,
author = {Anton Ekblad},
title = {Scoping Monadic Relational Database Queries},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {145-144},
doi = {10.1145/3331545.3342598},
year = {2019},
}
Publisher's Version
Haskell '19: "STCLang: State Thread Composition ..."
STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism
Sebastian Ertel, Justus Adam, Norman A. Rink, Andrés Goens, and Jeronimo Castrillon
(Huawei Technologies, Germany; TU Dresden, Germany)
@InProceedings{Haskell19p191,
author = {Sebastian Ertel and Justus Adam and Norman A. Rink and Andrés Goens and Jeronimo Castrillon},
title = {STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {191-190},
doi = {10.1145/3331545.3342600},
year = {2019},
}
Publisher's Version
Haskell '19: "Synthesizing Functional Reactive ..."
Synthesizing Functional Reactive Programs
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, and Mark Santolucito
(Saarland University, Germany; Yale University, USA)
@InProceedings{Haskell19p209,
author = {Bernd Finkbeiner and Felix Klein and Ruzica Piskac and Mark Santolucito},
title = {Synthesizing Functional Reactive Programs},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {209-208},
doi = {10.1145/3331545.3342601},
year = {2019},
}
Publisher's Version
Haskell '19: "STCLang: State Thread Composition ..."
STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism
Sebastian Ertel, Justus Adam, Norman A. Rink, Andrés Goens, and Jeronimo Castrillon
(Huawei Technologies, Germany; TU Dresden, Germany)
@InProceedings{Haskell19p191,
author = {Sebastian Ertel and Justus Adam and Norman A. Rink and Andrés Goens and Jeronimo Castrillon},
title = {STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {191-190},
doi = {10.1145/3331545.3342600},
year = {2019},
}
Publisher's Version
Haskell '19: "G2Q: Haskell Constraint Solving ..."
G2Q: Haskell Constraint Solving
William T. Hallahan, Anton Xue, and Ruzica Piskac
(Yale University, USA)
@InProceedings{Haskell19p55,
author = {William T. Hallahan and Anton Xue and Ruzica Piskac},
title = {G2Q: Haskell Constraint Solving},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {55-54},
doi = {10.1145/3331545.3342590},
year = {2019},
}
Publisher's Version
Haskell '19: "Monad Transformers and Modular ..."
Monad Transformers and Modular Algebraic Effects: What Binds Them Together
Tom Schrijvers, Maciej Piróg, Nicolas Wu, and Mauro Jaskelioff
(KU Leuven, Belgium; University of Wrocław, Poland; Imperial College London, UK; CIFASIS-CONICET, Argentina; National University of Rosario, Argentina)
@InProceedings{Haskell19p127,
author = {Tom Schrijvers and Maciej Piróg and Nicolas Wu and Mauro Jaskelioff},
title = {Monad Transformers and Modular Algebraic Effects: What Binds Them Together},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {127-126},
doi = {10.1145/3331545.3342595},
year = {2019},
}
Publisher's Version
Haskell '19: "Bidirectional Type Class Instances ..."
Bidirectional Type Class Instances
Koen Pauwels, Georgios Karachalias, Michiel Derhaeg, and Tom Schrijvers
(KU Leuven, Belgium; Guardsquare, Belgium)
@InProceedings{Haskell19p37,
author = {Koen Pauwels and Georgios Karachalias and Michiel Derhaeg and Tom Schrijvers},
title = {Bidirectional Type Class Instances},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {37-36},
doi = {10.1145/3331545.3342596},
year = {2019},
}
Publisher's Version
Haskell '19: "Multi-stage Programs in Context ..."
Multi-stage Programs in Context
Matthew Pickering, Nicolas Wu, and Csongor Kiss
(University of Bristol, UK; Imperial College London, UK)
@InProceedings{Haskell19p91,
author = {Matthew Pickering and Nicolas Wu and Csongor Kiss},
title = {Multi-stage Programs in Context},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {91-90},
doi = {10.1145/3331545.3342597},
year = {2019},
}
Publisher's Version
Published Artifact
Haskell '19: "Synthesizing Functional Reactive ..."
Synthesizing Functional Reactive Programs
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, and Mark Santolucito
(Saarland University, Germany; Yale University, USA)
@InProceedings{Haskell19p209,
author = {Bernd Finkbeiner and Felix Klein and Ruzica Piskac and Mark Santolucito},
title = {Synthesizing Functional Reactive Programs},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {209-208},
doi = {10.1145/3331545.3342601},
year = {2019},
}
Publisher's Version
Haskell '19: "Formal Verification of Spacecraft ..."
Formal Verification of Spacecraft Control Programs (Experience Report)
Andrey Mokhov, Georgy Lukyanov, and Jakob Lechner
(Newcastle University, UK; RUAG Space, Austria)
@InProceedings{Haskell19p181,
author = {Andrey Mokhov and Georgy Lukyanov and Jakob Lechner},
title = {Formal Verification of Spacecraft Control Programs (Experience Report)},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {181-180},
doi = {10.1145/3331545.3342593},
year = {2019},
}
Publisher's Version
Haskell '19: "Formal Verification of Spacecraft ..."
Formal Verification of Spacecraft Control Programs (Experience Report)
Andrey Mokhov, Georgy Lukyanov, and Jakob Lechner
(Newcastle University, UK; RUAG Space, Austria)
@InProceedings{Haskell19p181,
author = {Andrey Mokhov and Georgy Lukyanov and Jakob Lechner},
title = {Formal Verification of Spacecraft Control Programs (Experience Report)},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {181-180},
doi = {10.1145/3331545.3342593},
year = {2019},
}
Publisher's Version
Haskell '19: "Formal Verification of Spacecraft ..."
Formal Verification of Spacecraft Control Programs (Experience Report)
Andrey Mokhov, Georgy Lukyanov, and Jakob Lechner
(Newcastle University, UK; RUAG Space, Austria)
@InProceedings{Haskell19p181,
author = {Andrey Mokhov and Georgy Lukyanov and Jakob Lechner},
title = {Formal Verification of Spacecraft Control Programs (Experience Report)},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {181-180},
doi = {10.1145/3331545.3342593},
year = {2019},
}
Publisher's Version
Haskell '19: "Working with Source Plugins ..."
Working with Source Plugins
Matthew Pickering, Nicolas Wu, and Boldizsár Németh
(University of Bristol, UK; Imperial College London, UK; Eötvös Loránd University, Hungary)
@InProceedings{Haskell19p109,
author = {Matthew Pickering and Nicolas Wu and Boldizsár Németh},
title = {Working with Source Plugins},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {109-108},
doi = {10.1145/3331545.3342599},
year = {2019},
}
Publisher's Version
Haskell '19: "Generic and Flexible Defaults ..."
Generic and Flexible Defaults for Verified, Law-Abiding Type-Class Instances
Ryan G. Scott and Ryan R. Newton
(Indiana University, USA)
@InProceedings{Haskell19p19,
author = {Ryan G. Scott and Ryan R. Newton},
title = {Generic and Flexible Defaults for Verified, Law-Abiding Type-Class Instances},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {19-18},
doi = {10.1145/3331545.3342591},
year = {2019},
}
Publisher's Version
Haskell '19: "Bidirectional Type Class Instances ..."
Bidirectional Type Class Instances
Koen Pauwels, Georgios Karachalias, Michiel Derhaeg, and Tom Schrijvers
(KU Leuven, Belgium; Guardsquare, Belgium)
@InProceedings{Haskell19p37,
author = {Koen Pauwels and Georgios Karachalias and Michiel Derhaeg and Tom Schrijvers},
title = {Bidirectional Type Class Instances},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {37-36},
doi = {10.1145/3331545.3342596},
year = {2019},
}
Publisher's Version
Haskell '19: "Making a Faster Curry with ..."
Making a Faster Curry with Extensional Types
Paul Downen, Zachary Sullivan, Zena M. Ariola, and Simon Peyton Jones
(University of Oregon, USA; Microsoft Research, UK)
@InProceedings{Haskell19p73,
author = {Paul Downen and Zachary Sullivan and Zena M. Ariola and Simon Peyton Jones},
title = {Making a Faster Curry with Extensional Types},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {73-72},
doi = {10.1145/3331545.3342594},
year = {2019},
}
Publisher's Version
Haskell '19: "Working with Source Plugins ..."
Working with Source Plugins
Matthew Pickering, Nicolas Wu, and Boldizsár Németh
(University of Bristol, UK; Imperial College London, UK; Eötvös Loránd University, Hungary)
@InProceedings{Haskell19p109,
author = {Matthew Pickering and Nicolas Wu and Boldizsár Németh},
title = {Working with Source Plugins},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {109-108},
doi = {10.1145/3331545.3342599},
year = {2019},
}
Publisher's Version
Haskell '19: "Multi-stage Programs in Context ..."
Multi-stage Programs in Context
Matthew Pickering, Nicolas Wu, and Csongor Kiss
(University of Bristol, UK; Imperial College London, UK)
@InProceedings{Haskell19p91,
author = {Matthew Pickering and Nicolas Wu and Csongor Kiss},
title = {Multi-stage Programs in Context},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {91-90},
doi = {10.1145/3331545.3342597},
year = {2019},
}
Publisher's Version
Published Artifact
Haskell '19: "Monad Transformers and Modular ..."
Monad Transformers and Modular Algebraic Effects: What Binds Them Together
Tom Schrijvers, Maciej Piróg, Nicolas Wu, and Mauro Jaskelioff
(KU Leuven, Belgium; University of Wrocław, Poland; Imperial College London, UK; CIFASIS-CONICET, Argentina; National University of Rosario, Argentina)
@InProceedings{Haskell19p127,
author = {Tom Schrijvers and Maciej Piróg and Nicolas Wu and Mauro Jaskelioff},
title = {Monad Transformers and Modular Algebraic Effects: What Binds Them Together},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {127-126},
doi = {10.1145/3331545.3342595},
year = {2019},
}
Publisher's Version
Haskell '19: "Synthesizing Functional Reactive ..."
Synthesizing Functional Reactive Programs
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, and Mark Santolucito
(Saarland University, Germany; Yale University, USA)
@InProceedings{Haskell19p209,
author = {Bernd Finkbeiner and Felix Klein and Ruzica Piskac and Mark Santolucito},
title = {Synthesizing Functional Reactive Programs},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {209-208},
doi = {10.1145/3331545.3342601},
year = {2019},
}
Publisher's Version
Haskell '19: "G2Q: Haskell Constraint Solving ..."
G2Q: Haskell Constraint Solving
William T. Hallahan, Anton Xue, and Ruzica Piskac
(Yale University, USA)
@InProceedings{Haskell19p55,
author = {William T. Hallahan and Anton Xue and Ruzica Piskac},
title = {G2Q: Haskell Constraint Solving},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {55-54},
doi = {10.1145/3331545.3342590},
year = {2019},
}
Publisher's Version
Haskell '19: "STCLang: State Thread Composition ..."
STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism
Sebastian Ertel, Justus Adam, Norman A. Rink, Andrés Goens, and Jeronimo Castrillon
(Huawei Technologies, Germany; TU Dresden, Germany)
@InProceedings{Haskell19p191,
author = {Sebastian Ertel and Justus Adam and Norman A. Rink and Andrés Goens and Jeronimo Castrillon},
title = {STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {191-190},
doi = {10.1145/3331545.3342600},
year = {2019},
}
Publisher's Version
Haskell '19: "Synthesizing Functional Reactive ..."
Synthesizing Functional Reactive Programs
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, and Mark Santolucito
(Saarland University, Germany; Yale University, USA)
@InProceedings{Haskell19p209,
author = {Bernd Finkbeiner and Felix Klein and Ruzica Piskac and Mark Santolucito},
title = {Synthesizing Functional Reactive Programs},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {209-208},
doi = {10.1145/3331545.3342601},
year = {2019},
}
Publisher's Version
Haskell '19: "Monad Transformers and Modular ..."
Monad Transformers and Modular Algebraic Effects: What Binds Them Together
Tom Schrijvers, Maciej Piróg, Nicolas Wu, and Mauro Jaskelioff
(KU Leuven, Belgium; University of Wrocław, Poland; Imperial College London, UK; CIFASIS-CONICET, Argentina; National University of Rosario, Argentina)
@InProceedings{Haskell19p127,
author = {Tom Schrijvers and Maciej Piróg and Nicolas Wu and Mauro Jaskelioff},
title = {Monad Transformers and Modular Algebraic Effects: What Binds Them Together},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {127-126},
doi = {10.1145/3331545.3342595},
year = {2019},
}
Publisher's Version
Haskell '19: "Bidirectional Type Class Instances ..."
Bidirectional Type Class Instances
Koen Pauwels, Georgios Karachalias, Michiel Derhaeg, and Tom Schrijvers
(KU Leuven, Belgium; Guardsquare, Belgium)
@InProceedings{Haskell19p37,
author = {Koen Pauwels and Georgios Karachalias and Michiel Derhaeg and Tom Schrijvers},
title = {Bidirectional Type Class Instances},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {37-36},
doi = {10.1145/3331545.3342596},
year = {2019},
}
Publisher's Version
Haskell '19: "Generic and Flexible Defaults ..."
Generic and Flexible Defaults for Verified, Law-Abiding Type-Class Instances
Ryan G. Scott and Ryan R. Newton
(Indiana University, USA)
@InProceedings{Haskell19p19,
author = {Ryan G. Scott and Ryan R. Newton},
title = {Generic and Flexible Defaults for Verified, Law-Abiding Type-Class Instances},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {19-18},
doi = {10.1145/3331545.3342591},
year = {2019},
}
Publisher's Version
Haskell '19: "Making a Faster Curry with ..."
Making a Faster Curry with Extensional Types
Paul Downen, Zachary Sullivan, Zena M. Ariola, and Simon Peyton Jones
(University of Oregon, USA; Microsoft Research, UK)
@InProceedings{Haskell19p73,
author = {Paul Downen and Zachary Sullivan and Zena M. Ariola and Simon Peyton Jones},
title = {Making a Faster Curry with Extensional Types},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {73-72},
doi = {10.1145/3331545.3342594},
year = {2019},
}
Publisher's Version
Haskell '19: "Working with Source Plugins ..."
Working with Source Plugins
Matthew Pickering, Nicolas Wu, and Boldizsár Németh
(University of Bristol, UK; Imperial College London, UK; Eötvös Loránd University, Hungary)
@InProceedings{Haskell19p109,
author = {Matthew Pickering and Nicolas Wu and Boldizsár Németh},
title = {Working with Source Plugins},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {109-108},
doi = {10.1145/3331545.3342599},
year = {2019},
}
Publisher's Version
Haskell '19: "Monad Transformers and Modular ..."
Monad Transformers and Modular Algebraic Effects: What Binds Them Together
Tom Schrijvers, Maciej Piróg, Nicolas Wu, and Mauro Jaskelioff
(KU Leuven, Belgium; University of Wrocław, Poland; Imperial College London, UK; CIFASIS-CONICET, Argentina; National University of Rosario, Argentina)
@InProceedings{Haskell19p127,
author = {Tom Schrijvers and Maciej Piróg and Nicolas Wu and Mauro Jaskelioff},
title = {Monad Transformers and Modular Algebraic Effects: What Binds Them Together},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {127-126},
doi = {10.1145/3331545.3342595},
year = {2019},
}
Publisher's Version
Haskell '19: "Multi-stage Programs in Context ..."
Multi-stage Programs in Context
Matthew Pickering, Nicolas Wu, and Csongor Kiss
(University of Bristol, UK; Imperial College London, UK)
@InProceedings{Haskell19p91,
author = {Matthew Pickering and Nicolas Wu and Csongor Kiss},
title = {Multi-stage Programs in Context},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {91-90},
doi = {10.1145/3331545.3342597},
year = {2019},
}
Publisher's Version
Published Artifact
Haskell '19: "G2Q: Haskell Constraint Solving ..."
G2Q: Haskell Constraint Solving
William T. Hallahan, Anton Xue, and Ruzica Piskac
(Yale University, USA)
@InProceedings{Haskell19p55,
author = {William T. Hallahan and Anton Xue and Ruzica Piskac},
title = {G2Q: Haskell Constraint Solving},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {55-54},
doi = {10.1145/3331545.3342590},
year = {2019},
}
Publisher's Version