Sciweavers

10575 search results - page 179 / 2115
» Programming Languages
Sort
View
POPL
2011
ACM
14 years 29 days ago
Generative type abstraction and type-level computation
Stephanie Weirich, Dimitrios Vytiniotis, Simon L. ...
POPL
2011
ACM
14 years 29 days ago
Calling context abstraction with shapes
Xavier Rival, Bor-Yuh Evan Chang
TODS
2012
13 years 17 days ago
Exploiting Web querying for Web people search
Rabia Nuray-Turan, Dmitri V. Kalashnikov, Sharad M...