Keyword:type system

Papers
Type Checking Conditional Purpose-Based Privacy Policies in the π-Calculus Georgios V. Pitsiladis EasyChair Preprint no. 7596
A Research: Data Structures in Leelus Programming Language Frank Appiah EasyChair Preprint no. 6682
A Next Generation Data Language Proposal Eugene Panferov EasyChair Preprint no. 5302
Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing between Black-Box Components Robin Adams and Sibylle Schupp EasyChair Preprint no. 425
Forward to a Promising Future Kiko Fernandez-Reyes, Dave Clarke, Elias Castegren and Huu-Phuc Vo EasyChair Preprint no. 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