Sciweavers

7529 search results - page 284 / 1506
» The Modula-3 Type System
Sort
View
HICSS
2009
IEEE
77views Biometrics» more  HICSS 2009»
16 years 1 months ago
Users of Open Source Software - How Do They Get Help?
A study was conducted across multiple open source software online technical help communities. This paper presents the types of discussions that occur, the types of questions asked...
Vandana Singh, Michael B. Twidale, David M. Nichol...
IDEAS
2007
IEEE
84views Database» more  IDEAS 2007»
16 years 29 days ago
Multiple Entry Indexing and Double Indexing
Traditional indexing techniques are not well suited for complex data types such as spatial, spatio-temporal, and multimedia data types, where an instance is a composite of multipl...
Victor Teixeira de Almeida, Ralf Hartmut Güti...
ESOP
2005
Springer
16 years 5 days ago
Subtyping First-Class Polymorphic Components
We present a statically typed, class-based object oriented language where classes are first class polymorphic values. A main contribution of this work is the design of a type syst...
João Costa Seco, Luís Caires
EUROGP
2005
Springer
123views Optimization» more  EUROGP 2005»
16 years 5 days ago
An Algorithmic Chemistry for Genetic Programming
Abstract. Genetic Programming has been slow at realizing other programming paradigms than conventional, deterministic, sequential vonNeumann type algorithms. In this contribution w...
Christian Lasarczyk, Wolfgang Banzhaf
TLCA
2005
Springer
16 years 4 days ago
A Lambda Calculus for Quantum Computation with Classical Control
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the firs...
Peter Selinger, Benoît Valiron