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

Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation - PEPM '13 ◽

10.1145/2426890.2426911 ◽

2013 ◽

Author(s):

Álvaro García-Pérez ◽

Pablo Nogueira

Download Full-text