Sciweavers

2374 search results - page 30 / 475
» The language of machines
Sort
View
PLDI
2006
ACM
14 years 1 months ago
Shared memory programming for large scale machines
Christopher Barton, Calin Cascaval, George Alm&aac...
EMNLP
2011
12 years 7 months ago
Ranking Human and Machine Summarization Systems
Peter Rankel, John M. Conroy, Eric Slud, Dianne P....
LISP
2007
112views more  LISP 2007»
13 years 7 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