1 |
Type-Driven Gradual Security with References
|
|
|
|
In: ISSN: 0164-0925 ; EISSN: 1558-4593 ; ACM Transactions on Programming Languages and Systems (TOPLAS) ; https://hal.archives-ouvertes.fr/hal-01957581 ; ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2018, 40 (4), pp.1-55. ⟨10.1145/3229061⟩ (2018)
|
|
BASE
|
|
Show details
|
|
2 |
Proceedings of the First Domain-Specific Aspect Languages Workshop - ACM International Conference on Generative Programming and Component Engineering (GPCE 2006)
|
|
|
|
In: https://hal.inria.fr/inria-00468283 ; [Research Report] 2006, pp.40 (2006)
|
|
BASE
|
|
Show details
|
|
|
|