An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language / Galletta, L.; Levi, G.. - In: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE. - ISSN 2075-2180. - 61:(2011), pp. 81-95. ( International Workshop on Automated Specification and Verification of Web Systems).
An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language
Galletta L.;
2011
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

