Fast trigonometric functions using Intel’s SSE2 instructions L Nyland, M Snyder Intel Tech. Rep., available online at: http://www. weblearn. hs-bremen. de …, 2003 | 14 | 2003 |
Monad factory: Type-indexed monads M Snyder, P Alexander Trends in Functional Programming: 11th International Symposium, TFP 2010 …, 2011 | 10 | 2011 |
Model composition in rosetta N Frisby, M Peck, M Snyder, P Alexander 2011 18th IEEE International Conference and Workshops on Engineering of …, 2011 | 4 | 2011 |
Trends in Functional Programming Z Horvath, V Zsok, P Achten, P Koopman Intellect, Limited, 2010 | 2 | 2010 |
Writing composable software with interpreterlib M Snyder, N Frisby, G Kimmell, P Alexander Software Composition: 8th International Conference, SC 2009, Zurich …, 2009 | 2 | 2009 |
Type Directed Specification Refinement MH Snyder University of Kansas, 2011 | 1 | 2011 |
Software Composition: 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings A Bergel, J Fabry Springer, 2009 | | 2009 |
A modular, algebra-sequenced paramorphic constraint-based type checker for Rosetta MH Snyder University of Kansas, 2007 | | 2007 |
Software Composition ABJ Fabry | | |