6343 search results - page 287 / 1269 » Development of a Cartographic Language |
135
click to vote
CTCS
1989
Springer
15 years 10 months ago
1989
Springer
The type-theoretic explanation of modules proposed to date (for programming languages like ML) is unsatisfactory, because it does not capture that evaluation of type-expressions i...
168
click to vote
ERLANG
2007
ACM
15 years 10 months ago
2007
ACM
We investigate the distributed part of the Erlang programming language, with an aim to develop robust distributed systems and algorithms running on top of Erlang runtime systems. ...
151
click to vote
ESAW
2006
Springer
15 years 10 months ago
2006
Springer
The rational agent community uses Michael Bratman's planning theory of intention as its theoretical foundation for the development of its agentoriented BDI languages. We prese...
167
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Over the past several decades, psycholinguists have gained countless insights into the process of child language acquisition. Can these findings be used for the development of lang...
155
click to vote
BCS
2008
15 years 8 months ago
2008
We argue that the mathematics developed for the semantics of computer languages can be fruitfully applied to problems in human communication and action.