AddToAny

Share Colloquia: Robert Harper/Carnegie Mellon University Mechanizing the Meta-theory of Programming Languages in ACES 2.302