Effect systems with subtyping
Autor: | Yan Mei Tang, Pierre Jouvelot |
---|---|
Rok vydání: | 1995 |
Předmět: | |
Zdroj: | PEPM |
DOI: | 10.1145/215465.215552 |
Databáze: | OpenAIRE |
Externí odkaz: |
Autor: | Yan Mei Tang, Pierre Jouvelot |
---|---|
Rok vydání: | 1995 |
Předmět: | |
Zdroj: | PEPM |
DOI: | 10.1145/215465.215552 |
Databáze: | OpenAIRE |
Externí odkaz: |