Search Sciweavers | Sciweavers

18429 search results - page 359 / 3686

» Typing dynamic typing

145

Voted

CONCUR
2010
Springer

162views Distributed And Parallel Com...» more CONCUR 2010»

Session Types as Intuitionistic Linear Propositions

15 years 8 months ago

Download www.cs.cmu.edu

Luís Caires, Frank Pfenning

claim paper

Read More »

150

click to vote

FOIS
2010

130views Information Technology» more FOIS 2010»

Towards Ontological Correctness of Part-whole Relations with Dependent Types

15 years 8 months ago

Download www.polytech.univ-savoie.fr

Richard Dapoigny, Patrick Barlatier

claim paper

Read More »

209

Voted

GRC
2010
IEEE

212views Applied Computing» more GRC 2010»

Interval Type-2 Fuzzy Logic System versus Perceptual Computer: Similarities and Differences

15 years 8 months ago

Download xanadu.cs.sjsu.edu

Jerry M. Mendel

claim paper

Read More »

169

Voted

GISCIENCE
2008
Springer

145views GIS» more GISCIENCE 2008»

New Data Types and Operations to Support Geo-streams

15 years 8 months ago

Download www.cse.unt.edu

Yan Huang, Chengyang Zhang

claim paper

Read More »

153

click to vote

HASKELL
2008
ACM

124views Programming Languages» more HASKELL 2008»

Haskell session types with (almost) no class

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers