Many universities have courses and projects revolving around compiler or...
The Higher-Order Ψ-calculus framework (HOΨ) is a generalisation of
many ...
We present a type-based analysis ensuring memory safety and object proto...
We present a binary session type system using context-free session types...