Structuring depth-first search algorithms in Haskell
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Space-efficient construction of optimal prefix codes
DCC '95 Proceedings of the Conference on Data Compression
Modular specification and verification of object-oriented programs
Modular specification and verification of object-oriented programs
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Hi-index | 0.00 |