2012 · 29 citations · 39 references
EngineeringGeometrySoftware EngineeringFoundational CalculusSoftware AnalysisGeneric ProgrammingDependently Typed ProgrammingC++0x Concepts ProposalProgramming LanguagesAutomatic DifferentiationPolymorphism (Computer Science)Computer EngineeringComputer ScienceType SystemSoftware DesignImplicit CalculusProgram AnalysisFormal MethodsObject-oriented ProgrammingImplicit InstantiationLinear Equation
Generic programming (GP) is an increasingly important trend in programming languages. Well-known GP mechanisms, such as type classes and the C++0x concepts proposal, usually combine two features: 1) a special type of interfaces; and 2) implicit instantiation of implementations of those interfaces.
39
Principal type-schemes for functional programs
Robin Milner · 1982 · 1.1K citations
Mathematical Programming, Principal Type-schemes, Engineering +12
How to make ad-hoc polymorphism less ad hoc
Philip Wadler, Stephen Blott · 1989 · 766 citations · Full text
Predicate Logic as Programming Language.
Robert Kowalski · IFIP Congress · 1974 · 598 citations
Declarative Programming, Engineering, Automated Reasoning +6