Export Citations
2 Results for: Keyword: presheaf categories
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,784,675 records)|Limit your search to The ACM Full-Text Collection (765,806 records)
Select All
- ArticleJuly 2012
Discrete generalised polynomial functors
ICALP'12: Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part IIPages 214–226https://doi.org/10.1007/978-3-642-31585-5_22We study generalised polynomial functors between presheaf categories, developing their mathematical theory together with computational applications. The main theoretical contribution is the introduction of discrete generalised polynomial functors, a ...
- ArticleAugust 2003
A framework for typed HOAS and semantics
PPDP '03: Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programmingPages 184–194https://doi.org/10.1145/888251.888269We investigate a framework for representing and reasoning about syntactic and semantic aspects of typed languages with variable binders.First, we introduce typed binding signatures and develop a theory of typed abstract syntax with binders. Each ...
