11909 search results - page 409 / 2382 » The Scheme Programming Language |
172
click to vote
PLPV
2010
ACM
16 years 3 months ago
2010
ACM
Type-based reasoning is popular in functional programming. In particular, parametric polymorphism constrains functions in such a way that statements about their behavior can be de...
205
click to vote
PATAT
2004
Springer
16 years 6 days ago
2004
Springer
In this paper we deal with the problem of building a timetable for the courses of a university faculty. We propose an integer linear programming approach based on column generation...
170
Voted
ACTA
2007
15 years 7 months ago
2007
XSLT is a standard rule-based programming language for expressing transformations of XML data. The language is currently in tran
187
Voted
POPL
2010
ACM
16 years 1 months ago
2010
ACM
A fully automatic, compiler-driven approach to parallelisation can result in unpredictable time and space costs for compiled code. On the other hand, a fully manual approach to pa...
165
click to vote
GPCE
2005
Springer
16 years 12 days ago
2005
Springer
Previous work on semantics-based multi-stage programming (MSP) language design focused on homogeneous designs, where the generating and the generated languages are the same. Homoge...