2004 search results - page 101 / 401 » Interaction nets: programming language design and implementa... |
145
click to vote
ERCIMDL
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. This text motivates and de nes a generic model for interactive online or o ine product catalogs. Based on a detailed requirements analysis, the data model is de ned usi...
194
click to vote
IFIP
2010
Springer
14 years 11 months ago
2010
Springer
Modern embedded systems are often heterogeneous in that their design requires several description paradigms, based on different models of computation and concurrency (MoCCs). In th...
160
click to vote
APN
1994
Springer
15 years 9 months ago
1994
Springer
In this paper we describe a modelling project to improve a nuclear waste management program in charge of the creation of a new system for the permanent disposal of nuclear waste. S...
138
click to vote
HASKELL
2006
ACM
15 years 11 months ago
2006
ACM
In this article we present GenI, a chart based surface realisation tool implemented in Haskell. GenI takes as input a set of first order terms (the input semantics) and a grammar...
250
Voted
POPL
2003
ACM
16 years 5 months ago
2003
ACM
We introduce a notion of guarded recursive (g.r.) datatype constructors, generalizing the notion of recursive datatypes in functional programming languages such as ML and Haskell....