- Dependent intersection: a new way of defining records in type theory
2003/12/22 by Alexei Kopylov · 1 citation
Computer Science · Engineering · #Logic, programming, and type systems #Software Engineering Research #Formal Methods in Verification #Intersection (aeronautics) #Type (biology) #Computer science #Type theory #Hickey #Data type #Abstract data type #Set (abstract data type) #Theoretical computer science #Programming language #Engineering
- On understanding types, data abstraction, and polymorphism
1985/12/10 by Luca Cardelli, Peter Wegner · 8 citations
Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #Advanced Software Engineering Methodologies #Computer science #Programming language #Data type #Subtyping #Abstraction #Type safety #Type theory #Theoretical computer science #Inheritance (genetic algorithm) #Type inference #Multiple inheritance #Abstract data type #Type (biology) #Object-oriented programming #Artificial intelligence
- Programming with abstract data types
1974/03/28 by Barbara Liskov, Stephen N. Zilles · 6 citations
Computer Science · #Abstract data type #Abstraction #Advanced Database Systems and Queries #Computer science #Fourth-generation programming language #Functional logic programming #High-level programming language #Inductive programming #Language primitive #Logic, programming, and type systems #Low-level programming language #Parallel Computing and Optimization Techniques #Programmer #Programming domain #Programming language #Programming language specification #Programming paradigm #Set (abstract data type) #Software engineering #Task (project management) #Very high-level programming language