Natural semantics as a static program analysis framework
ACM Transactions on Programming Languages and Systems (TOPLAS)
Extracting purely functional contents from logical inductive types
TPHOLs'07 Proceedings of the 20th international conference on Theorem proving in higher order logics
Hi-index | 0.00 |