%0 Journal Article %1 journals/pacmpl/KissFEJ19 %A Kiss, Csongor %A Field, Tony %A Eisenbach, Susan %A Jones, Simon Peyton %D 2019 %J Proc. ACM Program. Lang. %K dblp %N ICFP %P 102:1-102:26 %T Higher-order type-level programming in Haskell. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl3.html#KissFEJ19 %V 3

@article{journals/pacmpl/KissFEJ19, added-at = {2021-02-17T00:00:00.000+0100}, author = {Kiss, Csongor and Field, Tony and Eisenbach, Susan and Jones, Simon Peyton}, biburl = {https://www.bibsonomy.org/bibtex/2d5a234150e74ef1a4c45110e35e79206/dblp}, ee = {https://doi.org/10.1145/3341706}, interhash = {8763d3fa704b242a3644ac0dd2ae40f1}, intrahash = {d5a234150e74ef1a4c45110e35e79206}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {ICFP}, pages = {102:1-102:26}, timestamp = {2024-04-08T09:54:53.000+0200}, title = {Higher-order type-level programming in Haskell.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl3.html#KissFEJ19}, volume = 3, year = 2019 }