1185 search results - page 104 / 237 » Implementing Functional Languages: a tutorial |
JLP
2006
14 years 10 months ago
2006
This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where tr...
176
click to vote
POPL
2007
ACM
15 years 10 months ago
2007
ACM
This paper proposes a lightweight fusion method for general recursive function definitions. Compared with existing proposals, our method has several significant practical features...
ICFP
2010
ACM
14 years 11 months ago
2010
ACM
Bidirectional programming languages are a practical approach to the view update problem. Programs in these languages, called lenses, define both a view and an update policy--i.e.,...
TBILLC
2007
Springer
15 years 4 months ago
2007
Springer
In this paper, I give an overview of an ongoing project which aims at building a full-scale computational grammar for Georgian in the Lexical Functional Grammar framework and try t...
100
click to vote
ERLANG
2007
ACM
15 years 1 months ago
2007
ACM
This paper presents an Erlang-based framework, developed by the authors, for the realisation of software systems for autonomous mobile robots. On the basis of the analysis of the ...