Sciweavers

31686 search results - page 131 / 6338

» Resource typing in Guru

26

AMCIS
2009
Springer

294views Business» more AMCIS 2009»

Generic Business Model Types for Enterprise Mashup Intermediaries

14 years 3 months ago

Generic Business Model Types for Enterprise Mashup Intermediaries

Download www.alexandria.unisg.ch

Volker Hoyer, Katarina Stanoevska-Slabeva

claim paper

Read More »

31

CIE
2009
Springer

95views Applied Computing» more CIE 2009»

Computability of Continuous Solutions of Higher-Type Equations

14 years 3 months ago

Computability of Continuous Solutions of Higher-Type Equations

Download www.cs.bham.ac.uk

Martín Hötzel Escardó

claim paper

Read More »

20

CSL
2009
Springer

129views Automated Reasoning» more CSL 2009»

Forcing and Type Theory

14 years 3 months ago

Forcing and Type Theory

Download www.lama.univ-savoie.fr

Thierry Coquand

claim paper

Read More »

24

CSL
2009
Springer

104views Automated Reasoning» more CSL 2009»

Efficient Type-Checking for Amortised Heap-Space Analysis

14 years 3 months ago

Efficient Type-Checking for Amortised Heap-Space Analysis

Download www.lama.univ-savoie.fr

Martin Hofmann, Dulma Rodriguez

claim paper

Read More »

29

DBPL
2009
Springer

137views Database» more DBPL 2009»

Semantics, Types and Effects for XML Updates

14 years 3 months ago

Semantics, Types and Effects for XML Updates

Download homepages.inf.ed.ac.uk

Michael Benedikt, James Cheney

claim paper

Read More »

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