471 search results - page 3 / 95 » AGAPIA v0.1: A Programming Language for Interactive Systems ... |
POPL
1989
ACM
13 years 9 months ago
1989
ACM
This paper presents an overview of the programming language Modula-3, and a more detailed description of its type system.
TGC
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new...
ICFP
2007
ACM
14 years 5 months ago
2007
ACM
There has been much work in recent years on extending ML with recursive modules. One of the most difficult problems in the development of such an extension is the double vision pr...
POPL
2006
ACM
14 years 5 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-...
Book
"Scheme is a general-purpose computer programming language. It is a high-level language, supporting operations on structured data such as strings, lists, and vectors, as well ...