Contributions to teaching object-oriented design and programming
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Functional languages in microcode compilers
MICRO 22 Proceedings of the 22nd annual workshop on Microprogramming and microarchitecture
An extension of standard ML modules with subtyping and inheritance
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Laboratory activities for studying the formal semantics of programming languages
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
The evolution of the programming languages course
SIGCSE '92 Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
Teaching parameter passing by example using thunks in C and C++
SIGCSE '93 Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
Attribute grammar paradigms—a high-level methodology in language implementation
ACM Computing Surveys (CSUR)
Self-Assessment Procedure XXIII: programming languages
Communications of the ACM
Numerical analysis using nonprocedural paradigms
ACM Transactions on Mathematical Software (TOMS)
Tail recursion elimination in deductive databases
ACM Transactions on Database Systems (TODS)
Confluently persistent deques via data structuaral bootstrapping
SODA '93 Proceedings of the fourth annual ACM-SIAM Symposium on Discrete algorithms
Time and space efficient method-lookup for object-oriented programs
Proceedings of the seventh annual ACM-SIAM symposium on Discrete algorithms
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Algebraic and coalgebraic methods in the mathematics of program construction
Proceedings of the 3rd ACM international workshop on Data engineering for wireless and mobile access
The Separation Principle: A Programming Paradigm
IEEE Software
A language for quality of service requirements specification in web services orchestrations
ICSOC'06 Proceedings of the 4th international conference on Service-oriented computing
| Hi-index | 0.02 |