Sciweavers

10871 search results - page 253 / 2175
» A stable programming language
Sort
View
122
Voted
ADT
2010
15 years 3 months ago
A new framework for GLIF Interdomain Resource Reservation Architecture (GIRRA)
Gigi Karmous-Edwards, Silvana Greco Polito, Admela...
POPL
2012
ACM
14 years 1 months ago
Canonicity for 2-dimensional type theory
nvenient way of pattern-matching against abstract data types. Publications: Dissertation
Daniel R. Licata, Robert Harper
113
Voted
JMLR
2012
13 years 8 months ago
MULTIBOOST: A Multi-purpose Boosting Package
Djalel Benbouzid, Róbert Busa-Fekete, Norma...