refs.bib

@inproceedings{Frisch02,
  author    = {Alain Frisch and Giuseppe Castagna and V{\'{e}}ronique Benzaken},
  title     = {Semantic Subtyping},
  booktitle = {Symposium on Logic in Computer Science {(LICS)}},
  year      = {2002},
  doi       = {10.1109/LICS.2002.1029823}}

@article{muehlboeck2018empowering,
 author = {Muehlboeck, Fabian and Tate, Ross},
 title = {Empowering Union and Intersection Types with Integrated Subtyping},
 journal = {Proc. ACM Program. Lang.},
 volume = {2},
 number = {OOPSLA},
 year = {2018},
} 

@Inbook{Reynolds1997,
author="Reynolds, John C.",
editor="O'Hearn, Peter W.
and Tennent, Robert D.",
title="Design of the Programming Language Forsythe",
bookTitle="Algol-like Languages",
year="1997",
publisher="Birkh{\"a}user Boston",
isbn="978-1-4612-4118-8",
doi="10.1007/978-1-4612-4118-8_9"
}

@techreport{Pierce1991,
  author       = {Benjamin Pierce}, 
  title        = {Programming with intersection types, union types, and polymorphism},
  institution  = {Carnegie Mellon University},
  year         = 1991,
  number       = {CMU-CS-91-106}
}

@inproceedings{Vouillon04,
  author    = {Jerome Vouillon},
  title     = {Subtyping Union Types},
  booktitle = {Computer Science Logic {(CSL)}},
  year      = {2004},
  doi       = {10.1007/978-3-540-30124-0_32},
  url = {https://www.cis.upenn.edu/~bcpierce/papers/uipq.ps}
}

@article{BezansonEKS17,
  author    = {Jeff Bezanson and Alan Edelman and Stefan Karpinski and
               Viral B. Shah},
  title     = {Julia: {A} Fresh Approach to Numerical Computing},
  journal   = {{SIAM} Review},
  volume    = {59},
  number    = {1},
  year      = {2017},
  doi       = {10.1137/141000671}}

@article{Frisch08,
  author    = {Alain Frisch and
               Giuseppe Castagna and
               V{\'{e}}ronique Benzaken},
  title     = {Semantic subtyping: Dealing set-theoretically with function, 
                union, intersection, and negation types},
  journal   = {J. {ACM}},
  volume    = {55},
  number    = {4},
  year      = {2008},
  doi       = {10.1145/1391289.1391293},
}

@article{DBLP:NardelliBPCBV18,
 author = {Zappa Nardelli, Francesco and Belyakova, Julia and Pelenitsyn, Artem and Chung, Benjamin and Bezanson, Jeff and Vitek, Jan},
 title = {Julia subtyping: a rational reconstruction},
 journal = {Proc. ACM Program. Lang.},
 volume = {2},
 number = {OOPSLA},
 year = {2018},
 doi = {10.1145/3276483},
 publisher = {ACM},
 keywords = {Multiple Dispatch, Subtyping},
} 

@misc{typescript,
  title="Typescript Language Specification",
  url={https://github.com/Microsoft/TypeScript/blob/master/doc/spec.md},
  publisher={Microsoft}
}

@misc{hack,
  title = {Hack},
  howpublished = {\url{https://hacklang.org/}},
  note = {Accessed: 2019-01-11}
}

@inproceedings{barbanera1991intersection,
  title={Intersection and union types},
  author={Barbanera, Franco and Dezani-Ciancaglini, Mariangiola},
  booktitle={Theoretical Aspects of Computer Software {TACS}},
  year={1991},
  doi={10.1007/3-540-54415-1_69}
}

@inproceedings{aiken1991implementing,author="Aiken, Alexander
and Murphy, Brian R.",
title="Implementing regular tree expressions",
booktitle="Functional Programming Languages and Computer Architecture {FPCA}",
year="1991",
isbn="978-3-540-47599-6",
  doi={10.1007/3540543961_21}
}

@phdthesis{bezansonthesis,
  author       = {Jeff Bezanson}, 
  title        = {Abstraction in technical computing},
  school       = {Massachusetts Institute of Technology },
  url={http://dspace.mit.edu/handle/1721.1/7582},
  year         = 2015,
}


@article{DBLP:journals/jfp/Dunfield14,
  author    = {Joshua Dunfield},
  title     = {Elaborating intersection and union types},
  journal   = {J. Funct. Program.},
  year      = {2014},
  doi       = {10.1017/S0956796813000270},
}


@inproceedings{DBLP:conf/vmcai/Pearce13,
  author    = {David J. Pearce},
  title     = {Sound and Complete Flow Typing with Unions, Intersections and Negations},
  booktitle = {Verification, Model Checking, and Abstract Interpretation {VMCAI}},
  year      = {2013},
  doi       = {10.1007/978-3-642-35873-9_21}
}

@inproceedings{DBLP:conf/tacs/Damm94,
  author    = {Flemming M. Damm},
  title     = {Subtyping with Union Types, Intersection Types and Recursive Types},
  booktitle = {Theoretical Aspects of Computer Software {TACS}},
  year      = {1994},
  doi       = {10.1007/3-540-57887-0_121},
}

@inproceedings{yuliasubtyping,
  author = {Julia Belyakova},
  year = {2019}, 
  title = {Decidable Tag-Based Semantic Subtyping for Nominal Types, Tuples, and Unions},
  booktitle = {Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs {FTFJP}}
}
@misc{tateemail,
  author = {Ross Tate},
  date = "2018-11-27",
  howpublished = "personal communication"
}
@article{unionexptime,
 author = {Hosoya, Haruo and Vouillon, J{\'e}r\^{o}me and Pierce, Benjamin C.},
 title = {Regular Expression Types for XML},
 journal = {ACM Trans. Program. Lang. Syst.},
 year = {2005}
}