Substructural Meta-Theory of a Type-Safe Language for Web Programming

Iliano Cervesato, Thierry Sans. Substructural Meta-Theory of a Type-Safe Language for Web Programming. Fundamenta Informaticae, 130(1):67-97, 2014. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.