Conference
A generative geometric kernel
Abstract
We present the design and implementation of a generative geometric kernel. The kernel generator is generic, type-safe, parametrized by many design-level choices and extensible. The resulting code has minimal traces of the design abstractions. We achieve genericity through a layered design deriving concepts from affine geometry, linear algebra and abstract algebra. We achieve parametrization and type-safety by using OCaml's module system, …
Authors
Carette J; Elsheikh M; Smith S
Pagination
pp. 53-62
Publisher
Association for Computing Machinery (ACM)
Publication Date
January 24, 2011
DOI
10.1145/1929501.1929510
Name of conference
Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation