170
Voted
Book
One of the best books to learn Scheme and functional programming concepts. The book is freely available online. It is full of examples and exercises suitable for various levels of ...
199
click to vote
ICGA
2006
17 years 17 days ago
2006
In this work we investigate the potential of combining AI tree-search algorithms with the algorithms of combinatorial game theory to provide more efficient strategies for playing s...
240
Voted
Lab
PLT develops foundations for building reliable, high-performance software. Foundations include practices, languages, semantics, implementation techniques and type systems. To dem...
239
click to vote
Lab
We are interested in studying and developing programming languages techniques such as multi-stage programming, reactive programming, and indexed types and in showing how they can b...
187
Voted
PEPM
2009
ACM
17 years 17 days ago
2009
ACM
The Verilog hardware description language has padding semantics that allow designers to write descriptions where wires of different bit widths can be interconnected. However, many ...