Type Oriented Programming | SpringerLink
Skip to main content
Springer Nature Link
Log in

Type Oriented Programming

  • Conference paper
  • First Online:
Object-Oriented Technologys (ECOOP 1997)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1357))

Included in the following conference series:

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
JPY 3498
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
JPY 5719
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
JPY 7149
Price includes VAT (Japan)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. Mark Day, Robert Gruber, Barbara Liskov, and Andrew C. Meyers. Subtypes vs. where clauses: Constraining parametric polymorphism. In OOPSLA’ 95 Conference Proceedings, volume 30(10) of ACM SIGPLAN Notices, pages 156–168, 1995.

    Google Scholar 

  2. Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, and Philip L. Wadler. Type classes in Haskell. ACM Transactions on Programming Languages and Systems, 18(2):109–138, March 1996.

    Article  Google Scholar 

  3. Sheng Liang, Paul Hudak, and Mark Jones. Monad transformers and modular interpreters. In Conference Record of POPL’ 94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, pages 333–343, January 1995.

    Google Scholar 

  4. Martin Odersky and Philip Wadler. Pizza into Java: Translating theory into practice. In Conference Record of POPL’ 97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 146–159, Paris, France, 15–17 January 1997.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Departement Informatica, Vrije Universiteit Brussel, Pleinlaan 2, 1050, Brussels, Belgium

    Kris De Volder & Wolfgang De Meuter

Authors
  1. Kris De Volder
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Wolfgang De Meuter
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science and Business Administration, University of Karlskrona/Ronneby, S-372 25, Ronneby, Sweden

    Jan Bosch

  2. Department of Computer Science, University of York, York, YO1 5DD, UK

    Stuart Mitchell

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

De Volder, K., De Meuter, W. (1998). Type Oriented Programming. In: Bosch, J., Mitchell, S. (eds) Object-Oriented Technologys. ECOOP 1997. Lecture Notes in Computer Science, vol 1357. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-69687-3_25

Download citation

  • DOI: https://doi.org/10.1007/3-540-69687-3_25

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64039-4

  • Online ISBN: 978-3-540-69687-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics