Premonoidal categories as categories with algebraic structure
Theoretical Computer Science
Closed Freyd- and kappa-categories
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Data-Refinement for Call-By-Value Programming Languages
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Modelling environments in call-by-value programming languages
Information and Computation
Axiomatics for Data Refinement in Call by Value Programming Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Categorical semantics for arrows
Journal of Functional Programming
Arrows, like Monads, are Monoids
Electronic Notes in Theoretical Computer Science (ENTCS)
MSFP'06 Proceedings of the 2006 international conference on Mathematically Structured Functional Programming
Functional semantics of parsing actions, and left recursion elimination as continuation passing
Proceedings of the 14th symposium on Principles and practice of declarative programming
The sequential semantics of producer effect systems
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Hi-index | 0.00 |