Search Sciweavers | Sciweavers

31686 search results - page 196 / 6338

» Resource typing in Guru

Voted

ESOP
2004
Springer

115views Programming Languages» more ESOP 2004»

Call-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types

15 years 6 months ago

Download www.macs.hw.ac.uk

Tom Hirschowitz, Xavier Leroy, J. B. Wells

claim paper

Read More »

click to vote

IFIP
2004
Springer

110views Programming Languages» more IFIP 2004»

Dynamic and Local Typing for Mobile Ambients

15 years 6 months ago

Download www.dsi.unive.it

Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio ...

claim paper

Read More »

Voted

FTDCS
2003
IEEE

96views Distributed And Parallel Com...» more FTDCS 2003»

Exhaustive Search for Costas-Type Sequences for Multi-Target Recognition

15 years 6 months ago

Download www.costasarrays.org

Oscar Moreno, Dorothy Bollman, Li Yuchun

claim paper

Read More »

Voted

IOLTS
2002
IEEE

103views Hardware» more IOLTS 2002»

Sequential Circuits Applicable for Detecting Different Types of Faults

15 years 5 months ago

Download muse.tau.ac.il

Ilya Levin, Vladimir Sinelnikov, Mark G. Karpovsky...

claim paper

Read More »

Voted

ICFP
2000
ACM

78views Programming Languages» more ICFP 2000»

Regular expression types for XML

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers