BibTeX record conf/fp/Burn91

• > Home > conf/fp/Burn91

@inproceedings{DBLP:conf/fp/Burn91,
  author       = {Geoffrey Livingston Burn},
  editor       = {Rogardt Heldal and
                  Carsten Kehler Holst and
                  Philip Wadler},
  title        = {The Abstract interpretation of Higher-Order Functional Languages:
                  From Properties to Abstract Domains (Technical Summary)},
  booktitle    = {Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow
                  Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14
                  August 1991},
  series       = {Workshops in Computing},
  pages        = {56--72},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3196-0\_5},
  doi          = {10.1007/978-1-4471-3196-0\_5},
  timestamp    = {Tue, 12 Apr 2022 17:23:42 +0200},
  biburl       = {https://dblp.org/rec/conf/fp/Burn91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}