ACM Computing Surveys (CSUR)
PolyP—a polytypic programming language extension
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Models and languages for parallel computation
ACM Computing Surveys (CSUR)
A framework for the recursive definition of data structures
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Polytypic data conversion programs
Science of Computer Programming
A Theoretical Framework of Data Parallelism and Its Operational Semantics
Euro-Par '00 Proceedings from the 6th International Euro-Par Conference on Parallel Processing
An Index Domain for Adaptive Multi-grid Methods
VECPAR '00 Selected Papers and Invited Talks from the 4th International Conference on Vector and Parallel Processing
Declarative definition of group indexed data structures and approximation of their domains
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
Implementing collection classes with monads
Mathematical Structures in Computer Science
Journal of Functional Programming
Journal of Functional Programming
Universes for generic programs and proofs in dependent type theory
Nordic Journal of Computing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Design patterns as higher-order datatype-generic programs
Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming
Gaussian elimination: a case study in efficient genericity with MetaOCaml
Science of Computer Programming - Special issue on the first MetaOCaml workshop 2004
Constructive Membership Predicates as Index Types
Electronic Notes in Theoretical Computer Science (ENTCS)
Constructing strictly positive families
CATS '07 Proceedings of the thirteenth Australasian symposium on Theory of computing - Volume 65
The essence of the iterator pattern
Journal of Functional Programming
Meeting a fanclub: a lattice of generic shape selectors
Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming
A Design for Type-Directed Programming in Java
Electronic Notes in Theoretical Computer Science (ENTCS)
Distinguishing data structures and functions: the constructor calculus and functorial types
TLCA'01 Proceedings of the 5th international conference on Typed lambda calculi and applications
FOSSACS'03/ETAPS'03 Proceedings of the 6th International conference on Foundations of Software Science and Computation Structures and joint European conference on Theory and practice of software
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
Functional in-place update with layered datatype sharing
TLCA'03 Proceedings of the 6th international conference on Typed lambda calculi and applications
Computing array shapes in MATLAB
LCPC'01 Proceedings of the 14th international conference on Languages and compilers for parallel computing
Data-distributions in powerlist theory
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
SSDGP'06 Proceedings of the 2006 international conference on Datatype-generic programming
Formal polytypic programs and proofs
Journal of Functional Programming
Computations in space and space in computations
UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms
Context-free languages via coalgebraic trace semantics
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Coordinating computation with communication
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Proving properties about functions on lists involving element tests
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
The Essence of the Iterator Pattern
MSFP'06 Proceedings of the 2006 international conference on Mathematically Structured Functional Programming
Three complementary approaches to bidirectional programming
SSGIP'10 Proceedings of the 2010 international spring school conference on Generic and Indexed Programming
Hi-index | 0.00 |