Sciweavers

31686 search results - page 182 / 6338

» Resource typing in Guru

22

ICFEM
2010
Springer

177views Software Engineering» more ICFEM 2010»

Practical Parameterised Session Types

13 years 7 months ago

Practical Parameterised Session Types

Download www.doc.ic.ac.uk

Andi Bejleri

claim paper

Read More »

23

IGPL
2010

82views more IGPL 2010»

Multimodal and intuitionistic logics in simple type theory

13 years 7 months ago

Multimodal and intuitionistic logics in simple type theory

Download www.ags.uni-sb.de

Christoph Benzmüller, Lawrence C. Paulson

claim paper

Read More »

27

ISCI
2010

102views more ISCI 2010»

An inequality related to Minkowski type for Sugeno integrals

13 years 7 months ago

An inequality related to Minkowski type for Sugeno integrals

Download library.utia.cas.cz

Yao Ouyang, Radko Mesiar, Hamzeh Agahi

claim paper

Read More »

9

ITPRO
2010

61views more ITPRO 2010»

Making Sense of Software Development and Personality Types

13 years 7 months ago

Making Sense of Software Development and Personality Types

Download www.eng.uwo.ca

Luiz Fernando Capretz, Faheem Ahmed

claim paper

Read More »

21

JFP
2010

63views more JFP 2010»

Parametricity, type equality, and higher-order polymorphism

13 years 7 months ago

Parametricity, type equality, and higher-order polymorphism

Download www.cis.upenn.edu

Dimitrios Vytiniotis, Stephanie Weirich

claim paper

Read More »

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