Luc M. W. J. Rutten

Publication Activity (10 Years)

Years Active: 1995-2010
Publications (10 Years): 0

Publications

Luc M. W. J. Rutten, Marko C. J. D. van Eekelen
Efficient and formally proven reduction of large integers by small moduli. ACM Trans. Math. Softw. 37 (2) (2010)
Walter A. C. A. J. de Hoon, Luc M. W. J. Rutten, Marko C. J. D. van Eekelen
Implementing a Functional Spreadsheet in Clean. J. Funct. Program. 5 (3) (1995)