Sciweavers

10575 search results - page 215 / 2115
» Programming Languages
Sort
View
ADT
2010
14 years 12 months ago
A new framework for GLIF Interdomain Resource Reservation Architecture (GIRRA)
Gigi Karmous-Edwards, Silvana Greco Polito, Admela...
POPL
2012
ACM
13 years 10 months ago
Canonicity for 2-dimensional type theory
nvenient way of pattern-matching against abstract data types. Publications: Dissertation
Daniel R. Licata, Robert Harper
78
Voted
JMLR
2012
13 years 4 months ago
MULTIBOOST: A Multi-purpose Boosting Package
Djalel Benbouzid, Róbert Busa-Fekete, Norma...