Type-level Computation Using Narrowing in Ωmega
| Autor: | Sheard, Tim |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science 4 June 2007 174(7):105-128 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Sheard, Tim |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science 4 June 2007 174(7):105-128 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect