Inproceedings,
Typing the Numeric Tower.
V. St-Amour, S. Tobin-Hochstadt, M. Flatt, and M. Felleisen.PADL, volume 7149 of Lecture Notes in Computer Science, page 289-303. Springer, (2012)
Meta data
- BibTeX key
- conf/padl/St-AmourTFF12
- entry type
- inproceedings
- booktitle
- PADL
- year
- 2012
- pages
- 289-303
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 7149
- crossref
- conf/padl/2012
- ee
- https://doi.org/10.1007/978-3-642-27694-1_21
- isbn
- 978-3-642-27693-4
- url
- http://dblp.uni-trier.de/db/conf/padl/padl2012.html#St-AmourTFF12
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/padl/St-AmourTFF12
%A St-Amour, Vincent
%A Tobin-Hochstadt, Sam
%A Flatt, Matthew
%A Felleisen, Matthias
%B PADL
%D 2012
%E Russo, Claudio V.
%E Zhou, Neng-Fa
%I Springer
%K dblp
%P 289-303
%T Typing the Numeric Tower.
%U http://dblp.uni-trier.de/db/conf/padl/padl2012.html#St-AmourTFF12
%V 7149
%@ 978-3-642-27693-4
@inproceedings{conf/padl/St-AmourTFF12,
added-at = {2017-05-17T00:00:00.000+0200},
author = {St-Amour, Vincent and Tobin-Hochstadt, Sam and Flatt, Matthew and Felleisen, Matthias},
biburl = {https://www.bibsonomy.org/bibtex/2228d6f821a71c5ba87630a42c4d347af/dblp},
booktitle = {PADL},
crossref = {conf/padl/2012},
editor = {Russo, Claudio V. and Zhou, Neng-Fa},
ee = {https://doi.org/10.1007/978-3-642-27694-1_21},
interhash = {f3bf5c29a658b5f43b18a0585350dd97},
intrahash = {228d6f821a71c5ba87630a42c4d347af},
isbn = {978-3-642-27693-4},
keywords = {dblp},
pages = {289-303},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T19:44:57.000+0200},
title = {Typing the Numeric Tower.},
url = {http://dblp.uni-trier.de/db/conf/padl/padl2012.html#St-AmourTFF12},
volume = 7149,
year = 2012
}