ACM Computing Surveys (CSUR)
Scrap your boilerplate: a practical design pattern for generic programming
Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation
ELAN from a rewriting logic point of view
Theoretical Computer Science - Rewriting logic and its applications
Out-of-Core Functional Programming with Type-Based Primitives
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
A Language Prototyping Tool Based on Semantic Building Blocks
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
A tutorial on the universality and expressiveness of fold
Journal of Functional Programming
The transient combinator, higher-order strategies, and the distributed data problem
Science of Computer Programming - Special issue on program transformation
Monadic augment and generalised short cut fusion
Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
Constructive Membership Predicates as Index Types
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the ACM SIGPLAN workshop on Generic programming
The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity
Implementation and Application of Functional Languages
The essence of the iterator pattern
Journal of Functional Programming
Constructing language processors with algebra combinators
Science of Computer Programming
Scala for generic programmers: Comparing haskell and scala support for generic programming
Journal of Functional Programming
A bottom-up approach to understand functional programs
Proceedings of The Fourth International C* Conference on Computer Science and Software Engineering
Combining datatypes and effects
AFP'04 Proceedings of the 5th international conference on Advanced Functional Programming
The Essence of the Iterator Pattern
MSFP'06 Proceedings of the 2006 international conference on Mathematically Structured Functional Programming
Hi-index | 0.00 |