• Keine Ergebnisse gefunden

Domains for User-Defined Types

N/A
N/A
Protected

Academic year: 2021

Aktie "Domains for User-Defined Types"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Domains for User-Defined Types

data tyconstr = constr

1

type

1,1

. . . type

1,n1

| . . . | constr

k

type

k,1

. . . type

k,nk

Domain: ({ constr

1

}× D

1,1

× . . . × D

1,n1

)

⊕ . . . ⊕ ({ constr

k

}× D

k,1

× . . . × D

k,nk

)

data Nats = Zero | Succ Nats

Domain for Nats : Least solution of D

Nats

= { Zero }

⊕ ({ Succ } × D

Nats

)

Zero

⊥ Succ(Zero)

Succ(⊥) Succ(Succ(Zero))

Succ(Succ(⊥)) Succn(Zero)

Succn(⊥)

Succ(⊥) . . .

. . .

36

Referenzen

ÄHNLICHE DOKUMENTE

Concluding, in our demo users can experience 3D imaginary interaction (with invisible controls), spatial direct manipulation, one- handed interaction, user-defined

We give a formula for the crystal structure on the integer points of the string polytopes and the ∗-crystal structure on the integer points of the string cones of type A for

Gavel is the first controller to exploit graph databases to produce a plain data representation of a software-defined network, and thereby removes the need for a translation

Haroske, D.D., Skrzypczak, L.: Entropy numbers of compact embeddings of smoothness Morrey spaces on bounded domains.. König, H.: Eigenvalue Distribution of

• Receptions are behavioral features and thus are realized by behavior (e.g., a state

Definition 6 (Dynamic Relationships).. This definition allows to identify whether two Dynamic Tuples are related by a specific Relationship Type. Moreover, because each Natural can

In this paper, individuality included in nine kinds of time series data (x, y, vx, vy, ax, ay, f, a, e) calculated from the data acquired by WACOM tablet and the categorized data

When applying an abstract knowledge item sequence defined by a strategy template to a concrete sequence of knowledge items given by a learning unit this may lead to