8766 search results - page 115 / 1754 » Functional logic programming |
DOCENG
2004
ACM
15 years 3 months ago
2004
ACM
XML and its associated languages are emerging as powerful authoring tools for multimedia and hypermedia web content. Furthermore, intelligent presentation generation engines have ...
SCAM
2006
IEEE
15 years 3 months ago
2006
IEEE
EPS
1995
Springer
15 years 1 months ago
1995
Springer
CORR
2002
Springer
14 years 9 months ago
2002
Springer
LICS
2008
IEEE
15 years 4 months ago
2008
IEEE
Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we define a programming language that provides intrinsic support fo...