Search Sciweavers | Sciweavers

27119 search results - page 241 / 5424

» Languages

158

click to vote

ESOP
2004
Springer

96views Programming Languages» more ESOP 2004»

System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types

15 years 12 months ago

Download www.macs.hw.ac.uk

Sébastien Carlier, Jeff Polakow, J. B. Well...

claim paper

Read More »

132

click to vote

ESOP
2004
Springer

115views Programming Languages» more ESOP 2004»

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

15 years 12 months ago

Download www.macs.hw.ac.uk

Tom Hirschowitz, Xavier Leroy, J. B. Wells

claim paper

Read More »

146

click to vote

TAL
2004
Springer

122views Natural Language Processing» more TAL 2004»

Spelling Correction for Search Engine Queries

15 years 12 months ago

Download xldb.fc.ul.pt

Bruno Martins, Mário J. Silva

claim paper

Read More »

123

click to vote

TAL
2004
Springer

85views Natural Language Processing» more TAL 2004»

A Statistical Study of the WPT-03 Corpus

15 years 12 months ago

Download www.di.fc.ul.pt

Bruno Martins, Mário J. Silva

claim paper

Read More »

136

click to vote

PLDI
2003
ACM

117views Programming Languages» more PLDI 2003»

Debugging temporal specifications with concept analysis

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers