151 search results - page 20 / 31 » XLambda: A functional programming language with XML syntax |
IFIP
2004
Springer
15 years 5 months ago
2004
Springer
Current firewall configuration languages have no well founded semantics. Each firewall implements its own algorithm that parses specific proprietary languages. The main conseq...
117
Voted
ICLP
1999
Springer
15 years 3 months ago
1999
Springer
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (log...
177
click to vote
POPL
2006
ACM
15 years 12 months ago
2006
ACM
In the spirit of Landin, we present a calculus of dependent types to serve as the semantic foundation for a family of languages called data description languages. Such languages, ...
TLCA
2009
Springer
15 years 6 months ago
2009
Springer
Terms are a concise representation of tree structures. Since they can be naturally defined by an inductive type, they offer data structures in functional programming and mechanis...
190
click to vote
POPL
2007
ACM
15 years 12 months ago
2007
ACM
This paper is concerned with a programming language construct for typed name binding that enforces -equivalence. It proves a new result about what operations on names can co-exist...