4139 search results - page 65 / 828 » Designing and Implementing Combinator Languages |
SIGITE
2004
ACM
14 years 3 months ago
2004
ACM
In this paper, we establish the need (based on literature and anecdotal evidence) for an infrastructure for CS1 courses to visually support problem solving from the initial proble...
PADL
2007
Springer
14 years 4 months ago
2007
Springer
We describe a preliminary implementation of the high-level modelling language Zinc. This language supports a modelling methodology in which the same Zinc model can be automatically...
AIIA
2003
Springer
14 years 3 months ago
2003
Springer
This paper reviews FreeWill and other AI architectures that have contributed to the ideas, which underlie it. “FreeWill” proposes and implements a cognitive architecture design...
ICFP
2008
ACM
14 years 10 months ago
2008
ACM
Transactional events (TE) are an approach to concurrent programming that enriches the first-class synchronous message-passing of Concurrent ML (CML) with a combinator that allows ...
LPAR
2000
Springer
14 years 1 months ago
2000
Springer
We propose a new tactic language for the system goq, which is intended to enrich the current tactic combinators (tacticals). This language is based on a functional core with recurs...