author-photo

Aleksander Boruch-Gruszecki

École Polytechnique Fédérale de Lausanne

5

Papers

3

Citations

Citation Trend

Filter By

Papers (3) Sort By

Journal Conference Others

Tracking Captured Variables in Types.

2021 arXiv: Programming Languages
Show All
- Source
- Cite
- Save
Citations (0)
Safer exceptions for Scala

2021 Scala | Symposium on Scala
Show All
- Source
- Cite
- Save
Citations (0)
Towards improved GADT reasoning in Scala

2019 Scala | Symposium on Scala
Show All
- Source
- Cite
- Save
Citations (3)