Fully Abstract Compilation to JavaScript
Data and Resources
Additional Info
| Field | Value |
|---|---|
| Source | 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL'13 (2013) |
| Author | Fournet, Cédric, Swamy, Nikhil, Chen, Juan, Dagand, Pierre-Evariste, Strub, Pierre-Yves, Livshits, Benjamin |
| Maintainer | CCSD |
| Last Updated | May 14, 2026, 22:35 (UTC) |
| Created | May 14, 2026, 22:35 (UTC) |
| Identifier | hal-00780803 |
| Language | en |
| Rights | https://about.hal.science/hal-authorisation-v1/ |
| contributor | Microsoft Research [Cambridge] (Microsoft) ; Microsoft Research |
| coverage | Roma, Italy |
| creator | Fournet, Cédric |
| date | 2013-01-23T00:00:00 |
| harvest_object_id | d6e01f8e-f5ea-4bed-99c6-48b1d94681e1 |
| harvest_source_id | 3374d638-d20b-4672-ba96-a23232d55657 |
| harvest_source_title | test moissonnage SELUNE |
| metadata_modified | 2025-11-11T00:00:00 |
| set_spec | type:COMM |