Sciweavers

18429 search results - page 362 / 3686

» Typing dynamic typing

139

CORR
2010
Springer

112views Education» more CORR 2010»

Type-Safe Feature-Oriented Product Lines

15 years 6 months ago

Type-Safe Feature-Oriented Product Lines

Download www.infosun.fim.uni-passau.de

Sven Apel, Christian Kästner, Armin Grö&...

claim paper

Read More »

80

CORR
2010
Springer

47views Education» more CORR 2010»

Tuple-based abstract data types: full parallelism

15 years 6 months ago

Tuple-based abstract data types: full parallelism

Download hal.archives-ouvertes.fr

José Martinez, Carmelo Malta

claim paper

Read More »

116

CORR
2010
Springer

90views Education» more CORR 2010»

Uncertainty Principles and Balian-Low type Theorems in Principal Shift-Invariant Spaces

15 years 6 months ago

Uncertainty Principles and Balian-Low type Theorems in Principal Shift-Invariant Spaces

Download sitemason.vanderbilt.edu

Akram Aldroubi, Qiyu Sun, Haichao Wang

claim paper

Read More »

210

CORR
2008
Springer

121views Education» more CORR 2008»

Graph Algorithms for Improving Type-Logical Proof Search

15 years 6 months ago

Graph Algorithms for Improving Type-Logical Proof Search

Download www.labri.fr

Proof nets are a graph theoretical representation of proofs in various fragments of type-logical grammar. In spite of this basis in graph theory, there has been relatively little ...

Richard Moot

claim paper

Read More »

70

CORR
2010
Springer

50views Education» more CORR 2010»

Multiparty Symmetric Sum Types

15 years 6 months ago

Multiparty Symmetric Sum Types

Download www.doc.ic.ac.uk

Lasse Nielsen, Nobuko Yoshida, Kohei Honda

claim paper

Read More »

« Prev « First page 362 / 3686 Last » Next »