Merkliste 
 1 Ergebnisse 
 
1

From high-level inference algorithms to efficient code:

Walia, Rajan ; Narayanan, Praveen ; Carette, Jacques..
Proceedings of the ACM on Programming Languages.  3 (2019)  ICFP - p. 1-30 , 2019