Sciweavers

31686 search results - page 167 / 6338

» Resource typing in Guru

25

CORR
2010
Springer

112views Education» more CORR 2010»

Type-Safe Feature-Oriented Product Lines

13 years 9 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 »

10

CORR
2010
Springer

47views Education» more CORR 2010»

Tuple-based abstract data types: full parallelism

13 years 9 months ago

Tuple-based abstract data types: full parallelism

Download hal.archives-ouvertes.fr

José Martinez, Carmelo Malta

claim paper

Read More »

15

CORR
2010
Springer

90views Education» more CORR 2010»

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

13 years 9 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 »

12

CORR
2010
Springer

50views Education» more CORR 2010»

Multiparty Symmetric Sum Types

13 years 9 months ago

Multiparty Symmetric Sum Types

Download www.doc.ic.ac.uk

Lasse Nielsen, Nobuko Yoshida, Kohei Honda

claim paper

Read More »

24

CORR
2008
Springer

73views Education» more CORR 2008»

Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory

13 years 9 months ago

Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory

Download tocl.acm.org

Robin Adams, Zhaohui Luo

claim paper

Read More »

« Prev « First page 167 / 6338 Last » Next »