Commit 99b68526 authored by Giuseppe Castagna's avatar Giuseppe Castagna
Browse files

added references

parent 5302b308
......@@ -60,6 +60,20 @@ url = "http://www.sciencedirect.com/science/article/pii/S0890540184710935",
author = "Wright, Andrew K. and Felleisen, Matthias",
}
@Manual{typescript,
title = {{TypeScript}},
url = {https://www.typescriptlang.org/},
organization = {Microsoft},
year = {\mbox{\!}}}
@Manual{Flow,
title = {{Flow}},
url = {https://flow.org/},
organization = {Facebook},
year = {\mbox{\!}}}
@inproceedings{THF08,
author = {Tobin-Hochstadt, Sam and Felleisen, Matthias},
title = {The Design and Implementation of Typed Scheme},
......
......@@ -84,3 +84,5 @@ and understand occurrence typing and to extend it with additional
features (e.g., gradual typing and polymorphism) and we are eager to
test how much of their analysis we can capture and enhance by
formalizing it in our system.
\nocite{typescript,flow}
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment