Overview of the Mathemagix Type System - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Joris van der Hoeven. Overview of the Mathemagix Type System. In Ruyong Feng, Wen-shin Lee, Yosuke Sato, editors, Computer Mathematics, 9th Asian Symposium (ASCM 2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM 2012), Beijing, October 2012, Contributed Papers and Invited Talks. pages 397-425, Springer, 2012. [doi]

This author has not been identified. Look up 'Joris van der Hoeven' in Google

runs on WebDSL