Sciweavers

909 search results - page 5 / 182
» Generic Programming: An Introduction
Sort
View
SFP
2004
14 years 11 months ago
Generic proofs for combinator-based generic programs
Abstract: Generic programming can bring important benefits to software engineering. In particular, it reduces the burden of verification, since generic proofs can be instantiated a...
Fermín Reig
JMLR
2012
13 years 24 days ago
Generic Methods for Optimization-Based Modeling
“Energy” models for continuous domains can be applied to many problems, but often suffer from high computational expense in training, due to the need to repeatedly minimize t...
Justin Domke
MPC
2004
Springer
165views Mathematics» more  MPC 2004»
15 years 3 months ago
Prototyping Generic Programming in Template Haskell
Abstract. Generic Programming deals with the construction of programs that can be applied to many dierent datatypes. This is achieved by parameterizing the generic programs by the...
Ulf Norell, Patrik Jansson

Book
1455views
16 years 8 months ago
Introduction to Object-Oriented Programming using C++
A set of lecture notes that introduces the reader to the object-orientation as a new programming concept. However, this is not a course for learning the C++ programming language.
Peter Müller