Back to Results
First PageMeta Content
Type theory / Functional languages / FAUST / Eval / Dependent type / Coq / NyquistShannon sampling theorem / Mathematical proof / FeitThompson theorem / Functional programming


A Taste of Sound Reasoning in Faust Emilio Jesús Gallego Arias, Olivier Hermant, Pierre Jouvelot MINES ParisTech, PSL Research University, France {emilio.gallego_arias, olivier.hermant, pierre.jouvelot}@mines-paristech.
Add to Reading List

Document Date: 2015-03-17 08:21:04


Open Document

File Size: 568,15 KB

Share Result on Facebook