6829 search results - page 120 / 1366 » Quantitative Generalizations of Languages |
241
click to vote
POPL
2006
ACM
16 years 4 months ago
2006
ACM
In the spirit of Landin, we present a calculus of dependent types to serve as the semantic foundation for a family of languages called data description languages. Such languages, ...
234
click to vote
POPL
2004
ACM
16 years 4 months ago
2004
ACM
We present a formalization of the implementation of generics in the .NET Common Language Runtime (CLR), focusing on two novel aspects of the implementation: mixed specialization a...
135
click to vote
CASES
2006
ACM
15 years 10 months ago
2006
ACM
This paper considers the efficient parallel implementation of control constructs and expressions written in a common software programming language and synthesised to FPGA platform...
115
Voted
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
This paper presents the specification of a programming language for implementing the deliberation cycle of cognitive agents. The mental attitudes of cognitive agents are assumed ...
231
click to vote
POPL
2006
ACM
16 years 4 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-...