Monad transformers and modular interpreters
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Subtypes vs. where clauses: constraining parametric polymorphism
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Pizza into Java: translating theory into practice
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Component Libraries and Language Features
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
| Hi-index | 0.00 |
We will argue that usage of type information still has a lot of unused and unexplored potential towards supporting frameworks. In the functional programming community the usage of static type systems successfully supports highly abstract, modular and reusable frameworks in the area of language interpreters [3]. We will illustrate with an example how similar type systems in OO languages allow more active usage of type information. We claim that this facilitates a more direct expression of the framework's domain theory, thus helping both framework developer and user.