Sciweavers

3394 search results - page 28 / 679
» Regular Object Types
Sort
View
ICFP
2010
ACM
13 years 10 months ago
Regular, shape-polymorphic, parallel arrays in Haskell
We present a novel approach to regular, multi-dimensional arrays in Haskell. The main highlights of our approach are that it (1) is purely functional, (2) supports reuse through s...
Gabriele Keller, Manuel M. T. Chakravarty, Roman L...
CAISE
2006
Springer
14 years 23 days ago
Inter Model Data Exchange of Type Information via a Common Type Hierarchy
Data exchange between heterogeneous schemas is a difficult problem that becomes more acute if the source and target schemas are from different data models. The data type of the obj...
Andrew Smith, Peter McBrien
IFIP
2004
Springer
14 years 2 months ago
Regular Tree Language Recognition with Static Information
This paper presents our compilation strategy to produce efficient code for pattern matching in the CDuce compiler, taking into account static information provided by the type syst...
Alain Frisch
JOT
2007
94views more  JOT 2007»
13 years 9 months ago
A Typing Scheme for Behavioural Models
State machines can be used to specify the behaviour of objects in a system by describing the relationships between the states of the object and its ability to respond to events pr...
Ashley T. McNeile, Nicholas Simons