852 search results - page 57 / 171 » entcs 2010 |
98
Voted
ENTCS
2006
15 years 16 days ago
2006
Monads are by now well-established as programming construct in functional languages. Recently, the notion of "Arrow" was introduced by Hughes as an extension, not with o...
80
Voted
ENTCS
2006
15 years 16 days ago
2006
Increasing attention has been paid recently to criteria that allow one to conclude that a structure models a linear-time property from the knowledge that no counterexamples exist ...
113
Voted
ENTCS
2002
15 years 10 days ago
2002
We define a notion of type assignment with polymorphic intersection types of rank 2 for a term graph rewriting language that expresses sharing and cycles. We show that type assign...
105
Voted
ENTCS
2010
14 years 10 months ago
2010
We introduce Process Algebra with Hooks (PAH). In PAH processes represent different layers action, from biochemistry to tissue, and special synchronisations via hook actions ensur...
114
Voted
ENTCS
2010
14 years 10 months ago
2010
The cost of implementing syntactically distinct Domain Specific Languages (DSLs) can be reduced by homogeneously embedding them in a host language in cooperation with its compiler...