Everything about Abstract type

🧭 Start here: a 6-step reading path

1. Read the overview: Abstract typeA 5-minute orientation
2. Skim a recent paper: (N,λ)-periodic solutions to abstract difference equations of convolution typeInfluential work since 2022
3. Pick up a classic book: BluebeardThe most-reprinted book on the subject
4. Read the landmark paper: Abstract types have existential typeCited 267 times
5. Go sideways: Java syntaxA closely related topic
6. Go sideways: Class (programming)A closely related topic

🏆 Landmark papers (most cited)

• Abstract types have existential type

  John C. Mitchell, Gordon D. Plotkin · 1988 · ACM Transactions on Programming Languages and Systems · 267 citations

• Polymorphic type inference and abstract data types

  Konstantin Läufer, Martin Odersky · 1994 · ACM Transactions on Programming Languages and Systems · 60 citations

• Abstract data type systems

  Jean-Pierre Jouannaud, Mitsuhiro Okada · 1997 · Theoretical Computer Science · 39 citations

• Abstract Domains for Type Juggling

  Vincenzo Arceri, Sergio Maffeis · 2017 · Electronic Notes in Theoretical Computer Science · 12 citations

• Abstract quasilinear integrodifferential equations of hyperbolic type

  Hirokazu Oka, Naoki Tanaka · 1997 · Nonlinear Analysis: Theory, Methods & Applications · 12 citations

• Abstract Convexity and Hermite-Hadamard Type Inequalities

  GabilR Adilov, Serap Kemali · 2009 · Journal of Inequalities and Applications · 10 citations

• Abstract DNA-type systems

  Diederik Aerts, Marek Czachor · 2006 · Nonlinearity · 3 citations

• Encryption as an abstract data-type

  Dale Miller · 2003 · Electronic Notes in Theoretical Computer Science · 3 citations

🆕 Influential since 2022

• (N,λ)-periodic solutions to abstract difference equations of convolution type

  Edgardo Alvarez, Stiven Díaz, Silvia Rueda · 2024 · Journal of Mathematical Analysis and Applications · 13 citations

• Inverse problem for an abstract neutral differential equation of Sobolev-type

  Muslim Malik, Santosh Ruhil · 2023 · Results in Control and Optimization · 6 citations

• Hypocoercivity of Langevin-type dynamics on abstract smooth manifolds

  Martin Grothaus, Maximilian Constantin Mertin · 2022 · Stochastic Processes and their Applications · 5 citations

• Towards a type-based abstract semantics for Python

  Andrei Nacu · 2025 · Journal of Logical and Algebraic Methods in Programming · 4 citations

• Ostrowski-type inequalities in abstract distance spaces

  V.F. Babenko, V.V. Babenko, O.V. Kovalenko · 2024 · Researches in Mathematics · 3 citations

📚 Books worth reading

• BluebeardKurt Vonnegut · 1987
• Data abstraction and problem solving with C++Frank M. Carrano, Paul Helman · 1995
• Data Structures and Abstractions with JavaFrank M. Carrano, Frank Carrano · 2002
• Qualified TypesMark P. Jones · 1994
• Structures and AbstractionsWilliam I. Salmon · 1991
• Recent trends in data type specificationWorkshop on Specification of Abstract Data Types (8th 1991 Dourdan, France) · 1993
• Abstract data typesNell B. Dale, Henry Mackay Walker · 1996
• Concrete abstractionsMax Hailperin · 1998

Ranked by number of editions on Open Library, a rough measure of how lasting a book is.

🔗 Related topics

• Java syntax The syntax of Java is the set of rules defining how a Java program is written and interpreted. The syntax is mostly derived from C and C++. Unlike C++…
• Class (programming) In programming, a class is a syntactic entity structure used to create objects. The capabilities of a class differ between programming languages, but generally…
• Virtual function In object-oriented programming such as is often used in C++ and Object Pascal, a virtual function or virtual method is an inheritable and overridable function…
• Interface (Java) An interface in the Java programming language is an abstract type that is used to declare a behavior that classes must implement. They are similar to protocols…
• Inheritance (object-oriented programming) In object-oriented programming, inheritance is the mechanism of basing an object or class upon another object (prototype-based inheritance) or class (class-base…
• Constructor (object-oriented programming) In class-based, object-oriented programming, a constructor (abbreviation: ctor) is a special type of function called to create an object. It prepares the…
• Generic programming Generic programming is a style of computer programming in which algorithms are written in terms of data types to-be-specified-later that are then instantiated…
• List of Java keywords In the Java programming language, a keyword is any one of 68 reserved words that have a predefined meaning in the language. Because of this, programmers…