Derivation of recursive algorithms for CS2
SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
Data groups: specifying the modification of extended state
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A categorical model for higher order imperative programming
Mathematical Structures in Computer Science
rCOS: a refinement calculus of object systems
Theoretical Computer Science - Components and objects
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |