1675 search results - page 100 / 335 » Some thoughts on teaching programming and programming langua... |
140
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
Many large software systems originate from untyped scripting language code. While good for initial development, the lack of static type annotations can impact code-quality and per...
151
click to vote
CHI
2005
ACM
16 years 4 months ago
2005
ACM
An important way of making interfaces usable by nonexpert users is to enable the use of natural language input, as in natural language query interfaces to databases, or MUDs and M...
121
click to vote
WETICE
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper, we explore some of the new opportunities for distributed collaborative applications that emerge from the use of XML as a data specification language. We present two...
139
click to vote
AFP
1995
Springer
15 years 8 months ago
1995
Springer
The Hindley/Milner type system has been widely adopted as a basis for statically typed functional languages. One of the main reasons for this is that it provides an elegant comprom...
145
click to vote
ERLANG
2007
ACM
15 years 8 months ago
2007
ACM
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...