Search Sciweavers | Sciweavers

18429 search results - page 398 / 3686

» Typing dynamic typing

188

click to vote

WOTE
2010

138views Emerging Technology» more WOTE 2010»

Verifying Privacy-Type Properties of Electronic Voting Protocols: A Taster

15 years 4 months ago

Download www.lsv.ens-cachan.fr

Abstract. While electronic elections promise the possibility of convenient, efficient and secure facilities for recording and tallying votes, recent studies have highlighted inadeq...

Stéphanie Delaune, Steve Kremer, Mark Ryan

claim paper

Read More »

132

click to vote

CEFP
2009
Springer

126views Programming Languages» more CEFP 2009»

Types for Units-of-Measure: Theory and Practice

15 years 4 months ago

Download typesatwork.imm.dtu.dk

Andrew Kennedy

claim paper

Read More »

111

click to vote

CORR
2009
Springer

63views Education» more CORR 2009»

A Type System for Required/Excluded Elements in CLS

15 years 4 months ago

Download www.di.unito.it

Mariangiola Dezani-Ciancaglini, Paola Giannini, An...

claim paper

Read More »

114

Voted

CORR
2009
Springer

54views Education» more CORR 2009»

Session Types at the Mirror

15 years 4 months ago

Download www.di.unito.it

Luca Padovani

claim paper

Read More »

135

Voted

CORR
2009
Springer

70views Education» more CORR 2009»

A Type System for Tom

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers