Sciweavers

31686 search results - page 184 / 6338
» Resource typing in Guru
Sort
View
34
Voted
CORR
2010
Springer
47views Education» more  CORR 2010»
14 years 11 months ago
Intersection types for unbind and rebind
Mariangiola Dezani-Ciancaglini, Paola Giannini, El...
83
Voted
NAACL
2010
14 years 10 months ago
Type-Based MCMC
Percy Liang, Michael I. Jordan, Dan Klein
75
Voted
CEFP
2009
Springer
14 years 10 months ago
Types for Units-of-Measure: Theory and Practice
Andrew Kennedy
60
Voted
CORR
2009
Springer
63views Education» more  CORR 2009»
14 years 10 months ago
A Type System for Required/Excluded Elements in CLS
Mariangiola Dezani-Ciancaglini, Paola Giannini, An...
77
Voted
CORR
2009
Springer
70views Education» more  CORR 2009»
14 years 10 months ago
A Type System for Tom
Claude Kirchner, Pierre-Etienne Moreau, Clá...