A generative geometric kernel

Jacques Carette, Mustafa Elsheikh, Spencer Smith
2011 Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation - PERM '11  
We present the design and implementation of a generative geometric kernel 1 . 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, including higher order modules. The cost of
more » ... is removed by using MetaO-Caml's support for code generation coupled with some annotations atop the code type.
doi:10.1145/1929501.1929510 dblp:conf/pepm/CaretteES11 fatcat:ec4q62jjvfdh3pzasylmgby57i