Mark Snyder
Mark Snyder
Term Assistant Professor of Computer Science, George Mason University
Verified email at gmu.edu - Homepage
Title
Cited by
Cited by
Year
Monad factory: Type-indexed monads
M Snyder, P Alexander
International Symposium on Trends in Functional Programming, 198-213, 2010
92010
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
92003
Model composition in rosetta
N Frisby, M Peck, M Snyder, P Alexander
2011 18th IEEE International Conference and Workshops on Engineering of …, 2011
42011
Trends in Functional Programming
Z Horvath, V Zsok, P Achten, P Koopman
Intellect, Limited, 2010
22010
Writing composable software with interpreterlib
M Snyder, N Frisby, G Kimmell, P Alexander
International Conference on Software Composition, 160-176, 2009
22009
Type Directed Specification Refinement
MH Snyder
University of Kansas, 2011
12011
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
The system can't perform the operation now. Try again later.
Articles 1–9