Article,
Liquid information flow control.
N. Polikarpova, D. Stefan, J. Yang, S. Itzhaky, T. Hance, and A. Solar-Lezama.Proc. ACM Program. Lang., 4 (ICFP): 105:1-105:30 (2020)
Meta data
- BibTeX key
- journals/pacmpl/PolikarpovaSYIH20
- entry type
- article
- year
- 2020
- journal
- Proc. ACM Program. Lang.
- number
- ICFP
- pages
- 105:1-105:30
- volume
- 4
- ee
- https://doi.org/10.1145/3408987
- url
- http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl4.html#PolikarpovaSYIH20
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/pacmpl/PolikarpovaSYIH20
%A Polikarpova, Nadia
%A Stefan, Deian
%A Yang, Jean
%A Itzhaky, Shachar
%A Hance, Travis
%A Solar-Lezama, Armando
%D 2020
%J Proc. ACM Program. Lang.
%K dblp
%N ICFP
%P 105:1-105:30
%T Liquid information flow control.
%U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl4.html#PolikarpovaSYIH20
%V 4
@article{journals/pacmpl/PolikarpovaSYIH20,
added-at = {2021-10-14T00:00:00.000+0200},
author = {Polikarpova, Nadia and Stefan, Deian and Yang, Jean and Itzhaky, Shachar and Hance, Travis and Solar-Lezama, Armando},
biburl = {https://www.bibsonomy.org/bibtex/26478d2136d0b6a8cb3c1c00ebc1780c4/dblp},
ee = {https://doi.org/10.1145/3408987},
interhash = {2c9be8c721bf896af32e8e11980d25c4},
intrahash = {6478d2136d0b6a8cb3c1c00ebc1780c4},
journal = {Proc. ACM Program. Lang.},
keywords = {dblp},
number = {ICFP},
pages = {105:1-105:30},
timestamp = {2024-04-08T09:54:58.000+0200},
title = {Liquid information flow control.},
url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl4.html#PolikarpovaSYIH20},
volume = 4,
year = 2020
}