2944 search results - page 167 / 589 » On Well Quasi-orders on Languages |
224
Voted
Book
"Assuming that you want to learn C++, why should you read this book rather than any of dozens of other introductory C++ books? One difference between this book and other intro...
191
click to vote
POPL
2007
ACM
16 years 1 months ago
2007
ACM
We describe the design and current status of our effort to implement the programming model of nested data parallelism into the Glasgow Haskell Compiler. We extended the original p...
86
Voted
ICFP
2001
ACM
16 years 24 days ago
2001
ACM
Contification is a compiler optimization that turns a function that always returns to the same place into a continuation. Compilers for functional languages use contification to e...
121
Voted
ICFP
2001
ACM
16 years 24 days ago
2001
ACM
A major problem for writing extensible software arises when recursively defined datatypes and operations on these types have to be extended simultaneously without modifying existi...
107
click to vote
WIA
2009
Springer
15 years 7 months ago
2009
Springer
FAdo is an ongoing project which aims to provide a set of tools for symbolic manipulation of formal languages. To allow highlevel programming with complex data structures, easy pro...