Keyword:type system

Publications
Type Checking Conditional Purpose-Based Privacy Policies in the π-Calculus Georgios V. Pitsiladis EasyChair Preprint 7596
A Research: Data Structures in Leelus Programming Language Frank Appiah EasyChair Preprint 6682
A Next Generation Data Language Proposal Eugene Panferov EasyChair Preprint 5302
Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing between Black-Box Components Robin Adams and Sibylle Schupp EasyChair Preprint 425
Forward to a Promising Future Kiko Fernandez-Reyes, Dave Clarke, Elias Castegren and Huu-Phuc Vo EasyChair Preprint 113
Towards an amortized type system for JavaScript Daniel Franzen and David Aspinall In:SCSS 2014. 6th International Symposium on Symbolic Computation in Software Science