Search Sciweavers | Sciweavers

31686 search results - page 53 / 6338

» Resource typing in Guru

124

click to vote

ACL
1998

88views Computational Linguistics» more ACL 1998»

Parametric Types for Typed Attribute-Value Logic

15 years 5 months ago

Download www.aclweb.org

Gerald Penn

claim paper

Read More »

click to vote

NECO
2008

77views more NECO 2008»

Type I and Type II Neuron Models Are Selectively Driven by Differential Stimulus Features

15 years 4 months ago

Download www.cnv.cl

Germán Mato, Inés Samengo

claim paper

Read More »

click to vote

IANDC
2002

59views more IANDC 2002»

Type Inference for Variant Object Types

15 years 4 months ago

Download cs-people.bu.edu

Michele Bugliesi, Santiago M. Pericás-Geert...

claim paper

Read More »

116

click to vote

CORR
2009
Springer

85views Education» more CORR 2009»

Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language

15 years 2 months ago

Download homepages.di.fc.ul.pt

Vasco Thudichum Vasconcelos, Francisco Martins, Ti...

claim paper

Read More »

click to vote

CORR
2011
Springer

167views Education» more CORR 2011»

Type Classes for Mathematics in Type Theory

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers