Merkliste 
 1 Ergebnisse 
 
1

Closed forms for numerical loops:

Kincaid, Zachary ; Breck, Jason ; Cyphert, John.
Proceedings of the ACM on Programming Languages.  3 (2019)  POPL - p. 1-29 , 2019