A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Álvaro García-Pérez, Pablo Nogueira. A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers. In Elvira Albert, Shin-Cheng Mu, editors, Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013, Rome, Italy, January 21-22, 2013. pages 107-116, ACM, 2013. [doi]

This author has not been identified. Look up 'Álvaro García-Pérez' in GoogleThis author has not been identified. Look up 'Pablo Nogueira' in Google

runs on WebDSL