SCALA '21: "Safer Exceptions for Scala ..."
Safer Exceptions for Scala
Martin Odersky, Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee, and Ondřej Lhoták
(EPFL, Switzerland; University of Waterloo, Canada)
@InProceedings{SCALA21p1,
author = {Martin Odersky and Aleksander Boruch-Gruszecki and Jonathan Immanuel Brachthäuser and Edward Lee and Ondřej Lhoták},
title = {Safer Exceptions for Scala},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3486610.3486893},
year = {2021},
}
Publisher's Version
SCALA '21: "Implementing Path-Dependent ..."
Implementing Path-Dependent GADT Reasoning for Scala 3
Yichen Xu, Aleksander Boruch-Gruszecki, and Lionel Parreaux
(Beijing University of Posts and Telecommunications, China; EPFL, Switzerland; Hong Kong University of Science and Technology, China)
@InProceedings{SCALA21p29,
author = {Yichen Xu and Aleksander Boruch-Gruszecki and Lionel Parreaux},
title = {Implementing Path-Dependent GADT Reasoning for Scala 3},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {29-28},
doi = {10.1145/3486610.3486892},
year = {2021},
}
Publisher's Version
SCALA '21: "Safer Exceptions for Scala ..."
Safer Exceptions for Scala
Martin Odersky, Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee, and Ondřej Lhoták
(EPFL, Switzerland; University of Waterloo, Canada)
@InProceedings{SCALA21p1,
author = {Martin Odersky and Aleksander Boruch-Gruszecki and Jonathan Immanuel Brachthäuser and Edward Lee and Ondřej Lhoták},
title = {Safer Exceptions for Scala},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3486610.3486893},
year = {2021},
}
Publisher's Version
SCALA '21: "Safer Exceptions for Scala ..."
Safer Exceptions for Scala
Martin Odersky, Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee, and Ondřej Lhoták
(EPFL, Switzerland; University of Waterloo, Canada)
@InProceedings{SCALA21p1,
author = {Martin Odersky and Aleksander Boruch-Gruszecki and Jonathan Immanuel Brachthäuser and Edward Lee and Ondřej Lhoták},
title = {Safer Exceptions for Scala},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3486610.3486893},
year = {2021},
}
Publisher's Version
SCALA '21: "Safer Exceptions for Scala ..."
Safer Exceptions for Scala
Martin Odersky, Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee, and Ondřej Lhoták
(EPFL, Switzerland; University of Waterloo, Canada)
@InProceedings{SCALA21p1,
author = {Martin Odersky and Aleksander Boruch-Gruszecki and Jonathan Immanuel Brachthäuser and Edward Lee and Ondřej Lhoták},
title = {Safer Exceptions for Scala},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3486610.3486893},
year = {2021},
}
Publisher's Version
SCALA '21: "Safe Object Initialization, ..."
Safe Object Initialization, Abstractly
Fengyun Liu, Ondřej Lhoták, Enze Xing, and Nguyen Cao Pham
(Oracle Labs, Switzerland; University of Waterloo, Canada)
@InProceedings{SCALA21p43,
author = {Fengyun Liu and Ondřej Lhoták and Enze Xing and Nguyen Cao Pham},
title = {Safe Object Initialization, Abstractly},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {43-42},
doi = {10.1145/3486610.3486895},
year = {2021},
}
Publisher's Version
SCALA '21: "Safe Object Initialization, ..."
Safe Object Initialization, Abstractly
Fengyun Liu, Ondřej Lhoták, Enze Xing, and Nguyen Cao Pham
(Oracle Labs, Switzerland; University of Waterloo, Canada)
@InProceedings{SCALA21p43,
author = {Fengyun Liu and Ondřej Lhoták and Enze Xing and Nguyen Cao Pham},
title = {Safe Object Initialization, Abstractly},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {43-42},
doi = {10.1145/3486610.3486895},
year = {2021},
}
Publisher's Version
SCALA '21: "Pathless Scala: A Calculus ..."
Pathless Scala: A Calculus for the Rest of Scala
Guillaume Martres
(EPFL, Switzerland)
@InProceedings{SCALA21p15,
author = {Guillaume Martres},
title = {Pathless Scala: A Calculus for the Rest of Scala},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {15-14},
doi = {10.1145/3486610.3486894},
year = {2021},
}
Publisher's Version
SCALA '21: "Safer Exceptions for Scala ..."
Safer Exceptions for Scala
Martin Odersky, Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee, and Ondřej Lhoták
(EPFL, Switzerland; University of Waterloo, Canada)
@InProceedings{SCALA21p1,
author = {Martin Odersky and Aleksander Boruch-Gruszecki and Jonathan Immanuel Brachthäuser and Edward Lee and Ondřej Lhoták},
title = {Safer Exceptions for Scala},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3486610.3486893},
year = {2021},
}
Publisher's Version
SCALA '21: "Implementing Path-Dependent ..."
Implementing Path-Dependent GADT Reasoning for Scala 3
Yichen Xu, Aleksander Boruch-Gruszecki, and Lionel Parreaux
(Beijing University of Posts and Telecommunications, China; EPFL, Switzerland; Hong Kong University of Science and Technology, China)
@InProceedings{SCALA21p29,
author = {Yichen Xu and Aleksander Boruch-Gruszecki and Lionel Parreaux},
title = {Implementing Path-Dependent GADT Reasoning for Scala 3},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {29-28},
doi = {10.1145/3486610.3486892},
year = {2021},
}
Publisher's Version
SCALA '21: "Safe Object Initialization, ..."
Safe Object Initialization, Abstractly
Fengyun Liu, Ondřej Lhoták, Enze Xing, and Nguyen Cao Pham
(Oracle Labs, Switzerland; University of Waterloo, Canada)
@InProceedings{SCALA21p43,
author = {Fengyun Liu and Ondřej Lhoták and Enze Xing and Nguyen Cao Pham},
title = {Safe Object Initialization, Abstractly},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {43-42},
doi = {10.1145/3486610.3486895},
year = {2021},
}
Publisher's Version
SCALA '21: "Safe Object Initialization, ..."
Safe Object Initialization, Abstractly
Fengyun Liu, Ondřej Lhoták, Enze Xing, and Nguyen Cao Pham
(Oracle Labs, Switzerland; University of Waterloo, Canada)
@InProceedings{SCALA21p43,
author = {Fengyun Liu and Ondřej Lhoták and Enze Xing and Nguyen Cao Pham},
title = {Safe Object Initialization, Abstractly},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {43-42},
doi = {10.1145/3486610.3486895},
year = {2021},
}
Publisher's Version
SCALA '21: "Implementing Path-Dependent ..."
Implementing Path-Dependent GADT Reasoning for Scala 3
Yichen Xu, Aleksander Boruch-Gruszecki, and Lionel Parreaux
(Beijing University of Posts and Telecommunications, China; EPFL, Switzerland; Hong Kong University of Science and Technology, China)
@InProceedings{SCALA21p29,
author = {Yichen Xu and Aleksander Boruch-Gruszecki and Lionel Parreaux},
title = {Implementing Path-Dependent GADT Reasoning for Scala 3},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {29-28},
doi = {10.1145/3486610.3486892},
year = {2021},
}
Publisher's Version