48 search results - page 3 / 10 » Typed Compilation Against Non-manifest Base Classes |
ECOOP
2008
Springer
13 years 7 months ago
2008
Springer
This paper demonstrates the impact of integrating session types and object-oriented programming, through their implementation in Java. Seses provide high-level abstraction for stru...
PEPM
1994
ACM
13 years 9 months ago
1994
ACM
One of the most novel features in the functional programming language Haskell is the system of type classes used to support a combination of overloading and polymorphism. Current ...
NLPRS
2001
Springer
13 years 10 months ago
2001
Springer
This paper reports on a study involving the automatic extraction of Chinese legal terms. We used a word segmented corpus of Chinese court judgments to extract salient legal expres...
CSFW
2002
IEEE
13 years 10 months ago
2002
IEEE
We present the first type and effect system for proving authenticity properties of security protocols based on asymmetric cryptography. The most significant new features of our ...
LREC
2008
13 years 7 months ago
2008
This paper describes the development of a ground truth dataset of culturally diverse Romanized names in which approximately 70,000 names are matched against a subset of 700. We ra...