Inproceedings,
G2Q: Haskell constraint solving.
W. Hallahan, A. Xue, and R. Piskac.Haskell@ICFP, page 44-57. ACM, (2019)
Meta data
- BibTeX key
- conf/haskell/HallahanXP19
- entry type
- inproceedings
- booktitle
- Haskell@ICFP
- year
- 2019
- pages
- 44-57
- publisher
- ACM
- crossref
- conf/haskell/2019
- ee
- https://doi.org/10.1145/3331545.3342590
- isbn
- 978-1-4503-6813-1
- url
- http://dblp.uni-trier.de/db/conf/haskell/haskell2019.html#HallahanXP19
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/haskell/HallahanXP19
%A Hallahan, William T.
%A Xue, Anton
%A Piskac, Ruzica
%B Haskell@ICFP
%D 2019
%E Eisenberg, Richard A.
%I ACM
%K dblp
%P 44-57
%T G2Q: Haskell constraint solving.
%U http://dblp.uni-trier.de/db/conf/haskell/haskell2019.html#HallahanXP19
%@ 978-1-4503-6813-1
@inproceedings{conf/haskell/HallahanXP19,
added-at = {2024-02-05T00:00:00.000+0100},
author = {Hallahan, William T. and Xue, Anton and Piskac, Ruzica},
biburl = {https://www.bibsonomy.org/bibtex/23e866c90dba9488a19a15ac29763b536/dblp},
booktitle = {Haskell@ICFP},
crossref = {conf/haskell/2019},
editor = {Eisenberg, Richard A.},
ee = {https://doi.org/10.1145/3331545.3342590},
interhash = {24bd0a58227009be8f36fb1dc5e2e01f},
intrahash = {3e866c90dba9488a19a15ac29763b536},
isbn = {978-1-4503-6813-1},
keywords = {dblp},
pages = {44-57},
publisher = {ACM},
timestamp = {2024-04-10T01:08:07.000+0200},
title = {G2Q: Haskell constraint solving.},
url = {http://dblp.uni-trier.de/db/conf/haskell/haskell2019.html#HallahanXP19},
year = 2019
}