Revisiting occurrence typing
| Autor: | Castagna, Giuseppe, Lanvin, Victor, Laurent, Mickaël, Nguyen, Kim |
|---|---|
| Zdroj: | In Science of Computer Programming 1 May 2022 217 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Castagna, Giuseppe, Lanvin, Victor, Laurent, Mickaël, Nguyen, Kim |
|---|---|
| Zdroj: | In Science of Computer Programming 1 May 2022 217 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect