On the productivity of recursive list definitions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Handbook of theoretical computer science (vol. B)
A type system for implicit scaling
ESOP '90 Selected papers from the symposium on 3rd European symposium on programming
On the relation between functional and data parallel programming languages
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Categorical combinators, sequential algorithms, and functional programming (2nd ed.)
Categorical combinators, sequential algorithms, and functional programming (2nd ed.)
ESOP '94 Selected papers of ESOP '94, the 5th European symposium on Programming
Purely functional data structures
Purely functional data structures
ESOP '94 Proceedings of the 5th European Symposium on Programming: Programming Languages and Systems
PSLS '95 Proceedings of the International Workshop on Parallel Symbolic Languages and Systems
Typechecking of PEI Expressions
Euro-Par '97 Proceedings of the Third International Euro-Par Conference on Parallel Processing
A Data Parallel Java Client-Server Architecture for Data Field Computations over Zn
Euro-Par '98 Proceedings of the 4th International Euro-Par Conference on Parallel Processing
The topological structures of membrane computing
Fundamenta Informaticae - Membrane computing
Data Structure as Topological Spaces
UMC '02 Proceedings of the Third International Conference on Unconventional Models of Computation
Accretive Rules in Cayley P Systems
WMC-CdeA '02 Revised Papers from the International Workshop on Membrane Computing
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
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
Computations in space and space in computations
UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms
The Topological Structures of Membrane Computing
Fundamenta Informaticae - Membrane Computing (WMC-CdeA2001)
Hi-index | 0.00 |