713 search results - page 9 / 143 » Syntax and Semantics of Babel-17 |
104
Voted
CORR
2004
Springer
15 years 3 months ago
2004
Springer
71
Voted
VLC
1998
15 years 3 months ago
1998
103
Voted
LRE
2010
15 years 1 months ago
2010
131
Voted
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
We describe an s-expression based syntax-extension framework much like Scheme macros, with a key additional facility: the ability to define static semantics, such as type systems ...
148
Voted
TPHOL
2005
IEEE
15 years 9 months ago
2005
IEEE
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...