Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/icfp/DownenMAJ16
%A Downen, Paul
%A Maurer, Luke
%A Ariola, Zena M.
%A Jones, Simon Peyton
%B ICFP
%D 2016
%E Garrigue, Jacques
%E Keller, Gabriele
%E Sumii, Eijiro
%I ACM
%K dblp
%P 74-88
%T Sequent calculus as a compiler intermediate language.
%U http://dblp.uni-trier.de/db/conf/icfp/icfp2016.html#DownenMAJ16
%@ 978-1-4503-4219-3
@inproceedings{conf/icfp/DownenMAJ16,
added-at = {2023-10-21T00:00:00.000+0200},
author = {Downen, Paul and Maurer, Luke and Ariola, Zena M. and Jones, Simon Peyton},
biburl = {https://www.bibsonomy.org/bibtex/2a2cf1b89a1787d5130fb3be0f935e0ec/dblp},
booktitle = {ICFP},
crossref = {conf/icfp/2016},
editor = {Garrigue, Jacques and Keller, Gabriele and Sumii, Eijiro},
ee = {https://www.wikidata.org/entity/Q122190404},
interhash = {8191acd3a3f03152c988352943622d15},
intrahash = {a2cf1b89a1787d5130fb3be0f935e0ec},
isbn = {978-1-4503-4219-3},
keywords = {dblp},
pages = {74-88},
publisher = {ACM},
timestamp = {2024-04-09T17:31:28.000+0200},
title = {Sequent calculus as a compiler intermediate language.},
url = {http://dblp.uni-trier.de/db/conf/icfp/icfp2016.html#DownenMAJ16},
year = 2016
}