3815 search results - page 206 / 763 » An Implementation of Session Types |
SIGUCCS
1998
ACM
14 years 17 days ago
1998
ACM
This presentation will be a discussion of two Information Technology training programs at the university/college level. The two programs are ”The Student Peer Trainers”(SPT) a...
CIKM
2010
Springer
13 years 7 months ago
2010
Springer
Query recommendation has been recognized as an important mean to help users search and also improve the usability of search engines. Existing approaches mainly focus on helping us...
ECOOP
2007
Springer
14 years 2 months ago
2007
Springer
We present MJ: a language for specifying general classes whose members are produced by iterating over members of other classes. We call this technique “class morphing” or just ...
POPL
1990
ACM
14 years 11 days ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
IADIS
2004
13 years 9 months ago
2004
Internet has changed many aspects of our society, transforming it in e-society, and is having special importance in business world, Internet has converted business in e-business. ...