Fully abstract translations between functional languages
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Names, Equations, Relations: Practical Ways to Reason about new
Fundamenta Informaticae
Hi-index | 0.00 |