Search Sciweavers | Sciweavers

31686 search results - page 184 / 6338

» Resource typing in Guru

click to vote

CORR
2010
Springer

47views Education» more CORR 2010»

Intersection types for unbind and rebind

13 years 7 months ago

Download www.di.unito.it

Mariangiola Dezani-Ciancaglini, Paola Giannini, El...

claim paper

Read More »

click to vote

NAACL
2010

141views Computational Linguistics» more NAACL 2010»

Type-Based MCMC

13 years 7 months ago

Download www.eecs.berkeley.edu

Percy Liang, Michael I. Jordan, Dan Klein

claim paper

Read More »

click to vote

CEFP
2009
Springer

126views Programming Languages» more CEFP 2009»

Types for Units-of-Measure: Theory and Practice

13 years 7 months ago

Download typesatwork.imm.dtu.dk

Andrew Kennedy

claim paper

Read More »

click to vote

CORR
2009
Springer

63views Education» more CORR 2009»

A Type System for Required/Excluded Elements in CLS

13 years 7 months ago

Download www.di.unito.it

Mariangiola Dezani-Ciancaglini, Paola Giannini, An...

claim paper

Read More »

click to vote

CORR
2009
Springer

70views Education» more CORR 2009»

A Type System for Tom

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers