POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Building interpreters by composing monads
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ACM Computing Surveys (CSUR)
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Composing monads using coproducts
Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
A unifying approach to goal-directed evaluation
New Generation Computing - Partial evaluation and program transformation
FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
Combining effects: sum and tensor
Theoretical Computer Science - Clifford lectures and the mathematical foundations of programming semantics
Haskell '07 Proceedings of the ACM SIGPLAN workshop on Haskell workshop
Building Verification Condition Generators by Compositional Extension
Electronic Notes in Theoretical Computer Science (ENTCS)
Free-algebra models for the π -calculus
Theoretical Computer Science
Monad compositions ii: Kleisli strength
Mathematical Structures in Computer Science
The essence of the iterator pattern
Journal of Functional Programming
Using theory morphisms for implementing formal methods tools
TYPES'02 Proceedings of the 2002 international conference on Types for proofs and programs
SSDGP'06 Proceedings of the 2006 international conference on Datatype-generic programming
A unifying approach to goal-directed evaluation
SAIG'01 Proceedings of the 2nd international conference on Semantics, applications, and implementation of program generation
Joinads: a retargetable control-flow construct for reactive, parallel and concurrent programming
PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages
A bottom-up approach to understand functional programs
Proceedings of The Fourth International C* Conference on Computer Science and Software Engineering
Free-algebra models for the π-calculus
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
The Essence of the Iterator Pattern
MSFP'06 Proceedings of the 2006 international conference on Mathematically Structured Functional Programming
Extensible effects: an alternative to monad transformers
Proceedings of the 2013 ACM SIGPLAN symposium on Haskell
Hi-index | 0.00 |