1154 search results - page 131 / 231 » Implementing Typed Intermediate Languages |
PPDP
2001
Springer
15 years 2 months ago
2001
Springer
Cyclic data structures can be tricky to create and manipulate in declarative programming languages. In a declarative setting, a natural way to view cyclic structures is as denotin...
186
click to vote
ICFP
2009
ACM
15 years 10 months ago
2009
ACM
Functional logic programming and probabilistic programming have demonstrated the broad benefits of combining laziness (non-strict evaluation with sharing of the results) with non-...
VL
2003
IEEE
15 years 3 months ago
2003
IEEE
Models of programming and debugging suggest many causes of errors, and many classifications of error types exist. Yet, there has been no attempt to link causes of errors to these ...
ENTCS
2007
14 years 10 months ago
2007
We describe the design and implementation of a parser combinator library in Newspeak, a new language in the Smalltalk family. Parsers written using our library are remarkably simi...
REFLECTION
2001
Springer
15 years 2 months ago
2001
Springer
A number of approaches have been proposed to achieve separation of concerns. Although all these approaches form suitable candidates for separating cross-cutting concerns in a syste...