Reliably Secure Software Systems (RS3) –
DFG Priority Programme 1496

Export 2 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Title is G and Author is L. Fennell  [Clear All Filters]
2014
L. Fennell and Thiemann, P., “Gradual Typing for Annotated Type Systems”, in Proceedings of the 23rd European Symposium on Programming (ESOP 2014), 2014.
2013
L. Fennell and Thiemann, P., “Gradual Security Typing with References”, in Proceedings of the 26th IEEE Computer Security Foundations Symposium (CSF 2013), 2013, pp. 224-239.