Search Sciweavers | Sciweavers

31686 search results - page 139 / 6338

» Resource typing in Guru

click to vote

PADL
2005
Springer

91views Programming Languages» more PADL 2005»

Type Class Directives

14 years 2 months ago

Download people.cs.uu.nl

Bastiaan Heeren, Jurriaan Hage

claim paper

Read More »

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

14 years 2 months ago

Download www.csie.ntnu.edu.tw

Yung-Pin Cheng

claim paper

Read More »

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

14 years 2 months ago

Download people.umass.edu

Barbara Partee, Vladimir Borschev

claim paper

Read More »

click to vote

TGC
2005
Springer

87views Applied Computing» more TGC 2005»

Typed Processes in Untyped Contexts

14 years 2 months ago

Download www.dsi.unive.it

Michele Bugliesi, Marco Giunti

claim paper

Read More »

click to vote

TLCA
2005
Springer

98views Theoretical Computer Science» more TLCA 2005»

Reducibility and TT-Lifting for Computation Types

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers