4139 search results - page 8 / 828 » Designing and Implementing Combinator Languages |
100
Voted
CCS
2001
ACM
15 years 5 months ago
2001
ACM
73
Voted
DSL
1997
15 years 1 months ago
1997
94
Voted
ECEASST
2008
15 years 16 days ago
2008
: This paper presents a compiler for interaction nets, which, just like term rewriting systems, are user-definable rewrite systems which offer the ability to specify and program. I...
114
Voted
FORTE
1996
15 years 1 months ago
1996
The paper describes the application of SDL-92[1] and OMT[2] to the design of a V5.x Access Network interface. While OMT is used to model the management aspects of the system, typi...
90
Voted
CADE
2006
Springer
16 years 23 days ago
2006
Springer
The nominal datatype package implements an infrastructure in Isabelle/HOL for defining languages involving binders and for reasoning conveniently about alpha-equivalence classes. P...