4386 search results - page 65 / 878 » A Tamper-Resistant Programming Language System |
ACL
1990
13 years 11 months ago
1990
A user may typically need to combine the strengths of more than one system in order to perform a task. In this paper, we describe a component of the Janus natural language interfa...
112
click to vote
Lab
We are interested in studying and developing programming languages techniques such as multi-stage programming, reactive programming, and indexed types and in showing how they can b...
APPINF
2003
13 years 11 months ago
2003
The significance of functional programming is revealed as that the feasible approach to language extensibility which it enables is further applicable to programming in general and...
POPL
2011
ACM
13 years 28 days ago
2011
ACM
There have been several efforts to bring static type inference to object-oriented dynamic languages such as Ruby, Python, and Perl. In our experience, however, such type inference...
SAC
2004
ACM
14 years 3 months ago
2004
ACM
This paper describes wildcards, a new language construct designed to increase the flexibility of object-oriented type systems with parameterized classes. Based on the notion of v...