Modular object-oriented programming with units and mixins
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Featherweight Java: a minimal core calculus for Java and GJ
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
Featherweight Java: a minimal core calculus for Java and GJ
ACM Transactions on Programming Languages and Systems (TOPLAS)
Constructive Foundations for Featherweight Java
PTCS '01 Proceedings of the International Seminar on Proof Theory in Computer Science
Introductory computer science with focus on program design
Journal of Computing Sciences in Colleges
Java IO and testing made simple
Proceedings of the 35th SIGCSE technical symposium on Computer science education
Why structural recursion should be taught before arrays in CS 1
Proceedings of the 36th SIGCSE technical symposium on Computer science education
Calculator problem and the design recipe
ACM SIGPLAN Notices
Type-Based Object Immutability with Flexible Initialization
Genoa Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming
A Type-theoretic Reconstruction of the Visitor Pattern
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |