Substructural type systems for program analysis

Authors:
Naoki Kobayashi
Affiliations:
Graduate School of Information Sciences, Tohoku University
Venue:
FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
Year:
2008

Once upon a type

FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Quasi-linear types

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Linearity and the pi-calculus

ACM Transactions on Programming Languages and Systems (TOPLAS)
Resource usage analysis

ACM Transactions on Programming Languages and Systems (TOPLAS)
Translation of tree-processing programs into stream-processing programs based on ordered linear type1

Journal of Functional Programming

Hi-index	0.00