Functional programming with graphs
ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
Categorical Programming with Abstract Data Types
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Random Access to Abstract Data Types
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Inductive graphs and functional graph algorithms
Journal of Functional Programming
Theoretical Computer Science
A finite complete set of equations generating graphs
DMTCS'03 Proceedings of the 4th international conference on Discrete mathematics and theoretical computer science
A functional, successor list based version of warshall's algorithm with applications
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
Graph automata: the algebraic properties of abelian relational graphoids
Algebraic Foundations in Computer Science
Implicit solutions with consistent additive and multiplicative components
Finite Elements in Analysis and Design
Functional programming with structured graphs
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
Simple rectangle-based functional programs for computing reflexive-transitive closures
RAMiCS'12 Proceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science
Structural recursion for querying ordered graphs
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
Hi-index | 0.00 |