Type-preserving compilation of Featherweight Java
ACM Transactions on Programming Languages and Systems (TOPLAS)
Soundness of the Logical Framework for Its Typed Operational Semantics
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
Anti-Symmetry of Higher-Order Subtyping
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Typed operational semantics for higher-order subtyping
Information and Computation
Sequent combinators: a Hilbert system for the lambda calculus
Mathematical Structures in Computer Science
Higher-order subtyping and its decidability
Information and Computation
Anti-symmetry of higher-order subtyping and equality by subtyping
Mathematical Structures in Computer Science
Boxed ambients with communication interfaces
Mathematical Structures in Computer Science
Normalization for the Simply-Typed Lambda-Calculus in Twelf
Electronic Notes in Theoretical Computer Science (ENTCS)
Strong normalization and equi-(co)inductive types
TLCA'07 Proceedings of the 8th international conference on Typed lambda calculi and applications
Regulating data exchange in service oriented applications
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Polarized subtyping for sized types
CSR'06 Proceedings of the First international computer science conference on Theory and Applications
A mobility calculus with local and dependent types
Processes, Terms and Cycles
Hi-index | 0.00 |