- Dependent ML An approach to practical programming with dependent types
2006/12/11 by Hongwei Xi · 1 citation
Computer Science · #Logic, programming, and type systems #Software Engineering Research #Advanced Software Engineering Methodologies #Computer science #Programming language #Type inference #Compiler #Schema (genetic algorithms) #Functional programming #Type (biology) #Inference #Data type #Programming language specification #Programming paradigm #Artificial intelligence #Programming domain #Inductive programming #Machine learning
- The development of the C language
1993/03/01 by Dennis M. Ritchie · 1 citation
Computer Science · #Advanced Computational Techniques and Applications #Service-Oriented Architecture and Web Services #Algorithms and Data Compression #Computer science #Programming language #Unix #First-generation programming language #Very high-level programming language #Programming language implementation #High-level programming language #Low-level programming language #Fourth-generation programming language #Programming language specification #Fifth-generation programming language #Programming paradigm #Programming domain #Functional logic programming #Symbolic programming #Inductive programming
- 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