10575 search results - page 189 / 2115 » Programming Languages |
125
click to vote
ICFP
2006
ACM
16 years 2 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 ...
107
click to vote
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
This paper describes our experience using a functional language, Haskell, to build an embedded, domain-specific language (DSL) for component configuration in large-scale, real-tim...
107
Voted
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
This paper proposes programming constructs to improve the practical application of existing BDI-based agent-oriented programming languages that have formal semantics. The proposed...
116
click to vote
SIGCSE
2006
ACM
15 years 8 months ago
2006
ACM
Undergraduate and master’s students enrolled in a programming language paradigms class are given the assignment to design a new programming language paradigm. The students are a...
217
Voted
Book
"These notes were prepared for use in the graduate course Computer Science 15–
814: Type Systems for Programming Languages at Carnegie Mellon University.
Their purpose is ...