- Tytuł:
- Substructural Meta-Theory of a Type-Safe Language forWeb Programming
- Autorzy:
-
Cervesato, I.
Sans, T. - Data publikacji:
- 2014
- Słowa kluczowe:
-
web programming
type safety
parallelism
mobile code
substructural operational semantics - Pokaż więcej
- Dostawca treści:
- BazTech