Sciweavers

2374 search results - page 30 / 475
» The language of machines
Sort
View
PLDI
2006
ACM
15 years 5 months ago
Shared memory programming for large scale machines
Christopher Barton, Calin Cascaval, George Alm&aac...
EMNLP
2011
13 years 11 months ago
Ranking Human and Machine Summarization Systems
Peter Rankel, John M. Conroy, Eric Slud, Dianne P....
LISP
2007
112views more  LISP 2007»
14 years 11 months ago
The next 700 Krivine machines
: The Krivine machine is a simple and natural implementation of the normal weak-head reduction strategy for pure λ-terms. While its original description has remained unpublished, ...
Rémi Douence, Pascal Fradet