Sciweavers

83 search results - page 11 / 17
» Digging into the Visitor Pattern
Sort
View
POPL
2001
ACM
14 years 7 months ago
Colored local type inference
We present a type system for a language based on F, which allows certain type annotations to be elided in actual programs. Local type inference determines types by a combination o...
Martin Odersky, Christoph Zenger, Matthias Zenger
ICFP
2001
ACM
14 years 7 months ago
Extensible Algebraic Datatypes with Defaults
A major problem for writing extensible software arises when recursively defined datatypes and operations on these types have to be extended simultaneously without modifying existi...
Matthias Zenger, Martin Odersky
RSFDGRC
2005
Springer
112views Data Mining» more  RSFDGRC 2005»
14 years 1 months ago
Discovering Characteristic Individual Accessing Behaviors in Web Environment
Abstract. Discovering diverse individual accessing behaviors in web environment is required before mining the valuable patterns from behaviors of groups of visitors. In this paper,...
Long Wang 0002, Christoph Meinel, Chunnian Liu
ICFP
2006
ACM
14 years 7 months ago
Type-theoretic design patterns
The development of design patterns in object-oriented programming aims at capturing good software design in a re-usable generic form. However, design patterns are not expressible ...
Ondrej Rypacek, Roland Carl Backhouse, Henrik Nils...
AROBOTS
2008
177views more  AROBOTS 2008»
13 years 7 months ago
Controlling swimming and crawling in a fish robot using a central pattern generator
Online trajectory generation for robots with multiple degrees of freedom is still a difficult and unsolved problem, in particular for non-steady state locomotion, that is, when th...
Alessandro Crespi, Daisy Lachat, Ariane Pasquier, ...