Leveling up dependent types.
| Autor: | Diehl, Larry, Sheard, Tim |
|---|---|
| Zdroj: | Proceedings of the 2013 ACM SIGPLAN Workshop Dependently-typed Programming; 9/24/2013, p49-60, 12p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Diehl, Larry, Sheard, Tim |
|---|---|
| Zdroj: | Proceedings of the 2013 ACM SIGPLAN Workshop Dependently-typed Programming; 9/24/2013, p49-60, 12p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|