| |
Boruch-Gruszecki, Aleksander
|
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
Article: splashws21scalamain-p4-p doi:10.1145/3486610.3486893
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
Article: splashws21scalamain-p1-p doi:10.1145/3486610.3486892
|
| |
Brachthäuser, Jonathan Immanuel |
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
Article: splashws21scalamain-p4-p doi:10.1145/3486610.3486893
|
| |
Lee, Edward
|
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
Article: splashws21scalamain-p4-p doi:10.1145/3486610.3486893
|
| |
Lhoták, Ondřej |
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
Article: splashws21scalamain-p4-p doi:10.1145/3486610.3486893
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
Article: splashws21scalamain-p6-p doi:10.1145/3486610.3486895
|
| |
Liu, Fengyun |
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
Article: splashws21scalamain-p6-p doi:10.1145/3486610.3486895
|
| |
Martres, Guillaume
|
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
Article: splashws21scalamain-p5-p doi:10.1145/3486610.3486894
|
| |
Odersky, Martin
|
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
Article: splashws21scalamain-p4-p doi:10.1145/3486610.3486893
|
| |
Parreaux, Lionel
|
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
Article: splashws21scalamain-p1-p doi:10.1145/3486610.3486892
|
| |
Pham, Nguyen Cao |
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
Article: splashws21scalamain-p6-p doi:10.1145/3486610.3486895
|
| |
Xing, Enze
|
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
Article: splashws21scalamain-p6-p doi:10.1145/3486610.3486895
|
| |
Xu, Yichen |
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
Article: splashws21scalamain-p1-p doi:10.1145/3486610.3486892
|