- Tytuł:
- Implementing Typeful Program Transformations
- Autorzy:
-
Chen, Ch.
Shi, R.
Xi, H. - Data publikacji:
- 2006
- Słowa kluczowe:
-
typeful program transformation
dependent types
Applied Type System
ATS
Continuation Passing Style
CPS
closure conversion - Pokaż więcej
- Dostawca treści:
- BazTech