Published May 6, 2010
| Version v2
Conference paper
Open
A DSEL for Computational Category Theory
Authors/Creators
Description
Computational category theory is a branch of computer science devoted to the study of algorithms which can be stated in terms of category theory concepts. We describe a language embedded in Common Lisp, CL-CAT, that allows for succinct expression of such algorithms. Code snippets and examples are presented to help bring this abstract topic closer to practice.
Files
ccat-dsel.pdf
Files
(151.7 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:8c56de30a327d382c740e5f829221498
|
151.7 kB | Preview Download |