2777 search results - page 172 / 556 » Example centric programming |
90
Voted
JLP
1998
15 years 12 days ago
1998
Using constraint logic techniques, it is made possible to use a wellknown metainterpreter backwards as a device for generating programs. A metainterpreter is developed, which prov...
123
Voted
FUIN
2010
14 years 11 months ago
2010
Abstract. We present the type rules for a dependently typed core calculus together with a straightforward implementation in Haskell. We explicitly highlight the changes necessary t...
102
Voted
CONCUR
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We introduce a novel way to integrate functional and concurrent programming based on intuitionistic linear logic. The functional core arises from interpreting proof reduc...
98
Voted
ISMIR
2005
Springer
15 years 6 months ago
2005
Springer
The focus of this paper is on ENP-expressions that can be used for annotating ENP scores with user definable information. ENP is a music notation program written in Lisp and CLOS...
SAC
2003
ACM
15 years 6 months ago
2003
ACM
As the use of XML is rapidly growing, a growing number of users without programming skills will need to query XML data. Although designed to be easily understood by humans, XQuery...