Merkliste 
 1 Ergebnisse 
 
1

Deriving efficient program transformations from rewrite rul..:

Li, John M. ; Appel, Andrew W.
Proceedings of the ACM on Programming Languages.  5 (2021)  ICFP - p. 1-29 , 2021