2226 search results - page 25 / 446 » Pdk: The System and Its Language |
86
Voted
POPL
1989
ACM
15 years 6 months ago
1989
ACM
This paper presents an overview of the programming language Modula-3, and a more detailed description of its type system.
153
click to vote
SOSYM
2002
15 years 1 months ago
2002
Abstract. There is rapidly growing momentum for web enabled agents that reason about and dynamically integrate the appropriate knowledge and services at run-time. The dynamic integ...
198
Voted
DLS
2009
14 years 11 months ago
2009
Ruby is a popular, dynamic scripting language that aims to "feel natural to programmers"and give users the"freedom to choose" among many different ways of doin...
111
click to vote
APLAS
2007
ACM
15 years 5 months ago
2007
ACM
We propose a series of type systems for the information-flow security of assembly code. These systems extend previous work TALC with some timing annotations and associated judgment...
202
Voted
POPL
2006
ACM
16 years 2 months ago
2006
ACM
This article presents a polymorphic modal type system and its principal type inference algorithm that conservatively extend ML by all of Lisp's staging constructs (the quasi-...