Search Sciweavers | Sciweavers

31686 search results - page 139 / 6338

» Resource typing in Guru

134

click to vote

PADL
2005
Springer

91views Programming Languages» more PADL 2005»

Type Class Directives

16 years 1 days ago

Download people.cs.uu.nl

Bastiaan Heeren, Jurriaan Hage

claim paper

Read More »

131

click to vote

SPIN
2005
Springer

96views Theoretical Computer Science» more SPIN 2005»

Crafting a Promela Front-End with Abstract Data Types to Mitigate the Sensitivity of (Compositional) Analysis to Implementation

16 years 19 hour ago

Download www.csie.ntnu.edu.tw

Yung-Pin Cheng

claim paper

Read More »

139

click to vote

TBILLC
2005
Springer

73views Natural Language Processing» more TBILLC 2005»

Pros and Cons of a Type-Shifting Approach to Russian Genitive of Negation

16 years 19 hour ago

Download people.umass.edu

Barbara Partee, Vladimir Borschev

claim paper

Read More »

135

click to vote

TGC
2005
Springer

87views Applied Computing» more TGC 2005»

Typed Processes in Untyped Contexts

16 years 18 hour ago

Download www.dsi.unive.it

Michele Bugliesi, Marco Giunti

claim paper

Read More »

140

click to vote

TLCA
2005
Springer

98views Theoretical Computer Science» more TLCA 2005»

Reducibility and TT-Lifting for Computation Types

16 years 18 hour ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers