Recursive polymorphic types and parametricity in an operational framework.
| Autor: | Mellies, P.-A., Vouillon, J. |
|---|---|
| Zdroj: | 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05); 2005, p82-91, 10p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Mellies, P.-A., Vouillon, J. |
|---|---|
| Zdroj: | 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05); 2005, p82-91, 10p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|