Search Sciweavers | Sciweavers

31686 search results - page 160 / 6338

» Resource typing in Guru

click to vote

CAV
2010
Springer

158views Hardware» more CAV 2010»

Dsolve: Safety Verification via Liquid Types

14 years 15 days ago

Download pho.ucsd.edu

Ming Kawaguchi, Patrick Maxim Rondon, Ranjit Jhala

claim paper

Read More »

click to vote

APLAS
2008
ACM

91views Programming Languages» more APLAS 2008»

Interface Types for Haskell

13 years 11 months ago

Download www.informatik.uni-freiburg.de

Peter Thiemann, Stefan Wehr

claim paper

Read More »

click to vote

CSR
2006
Springer

84views Theoretical Computer Science» more CSR 2006»

Inductive Type Schemas as Functors

13 years 11 months ago

Download www.brics.dk

Freiric Barral, Sergei Soloviev

claim paper

Read More »

click to vote

ETRA
2008
ACM

97views Biometrics» more ETRA 2008»

Eye typing using word and letter prediction and a fixation algorithm

13 years 11 months ago

Download www.yorku.ca

I. Scott MacKenzie, Xuang Zhang

claim paper

Read More »

click to vote

ACISP
2010
Springer

124views Security Privacy» more ACISP 2010»

Repelling Sybil-Type Attacks in Wireless Ad Hoc Systems

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers