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

15 years 7 months 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

15 years 6 months ago

Download www.informatik.uni-freiburg.de

Peter Thiemann, Stefan Wehr

claim paper

Read More »

109

click to vote

CSR
2006
Springer

84views Theoretical Computer Science» more CSR 2006»

Inductive Type Schemas as Functors

15 years 6 months ago

Download www.brics.dk

Freiric Barral, Sergei Soloviev

claim paper

Read More »

104

click to vote

ETRA
2008
ACM

97views Biometrics» more ETRA 2008»

Eye typing using word and letter prediction and a fixation algorithm

15 years 6 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

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers