%0 Conference Paper %1 conf/sle/RacordonB20 %A Racordon, Dimitri %A Buchs, Didier %B SLE %D 2020 %E Lämmel, Ralf %E Tratt, Laurence %E de Lara, Juan %I ACM %K dblp %P 140-154 %T Featherweight Swift: a Core calculus for Swift's type system. %U http://dblp.uni-trier.de/db/conf/sle/sle2020.html#RacordonB20 %@ 978-1-4503-8176-5

@inproceedings{conf/sle/RacordonB20, added-at = {2020-12-10T00:00:00.000+0100}, author = {Racordon, Dimitri and Buchs, Didier}, biburl = {https://www.bibsonomy.org/bibtex/2a5d986eafd4f8b23ac412664cee94f76/dblp}, booktitle = {SLE}, crossref = {conf/sle/2020}, editor = {Lämmel, Ralf and Tratt, Laurence and de Lara, Juan}, ee = {https://doi.org/10.1145/3426425.3426939}, interhash = {62d3c727f13b268c359b58daddd4d27a}, intrahash = {a5d986eafd4f8b23ac412664cee94f76}, isbn = {978-1-4503-8176-5}, keywords = {dblp}, pages = {140-154}, publisher = {ACM}, timestamp = {2024-04-09T11:42:05.000+0200}, title = {Featherweight Swift: a Core calculus for Swift's type system.}, url = {http://dblp.uni-trier.de/db/conf/sle/sle2020.html#RacordonB20}, year = 2020 }