3824 search results - page 10 / 765 » Geometry Constructions Language |
130
Voted
POPL
1993
ACM
15 years 10 months ago
1993
ACM
127
Voted
PPDP
2000
Springer
15 years 10 months ago
2000
Springer
136
Voted
HASKELL
2008
ACM
15 years 7 months ago
2008
ACM
120
Voted
LLC
2010
15 years 1 months ago
2010
172
Voted
ENTCS
2010
15 years 6 months ago
2010
This paper extends previous work on the compilation of higher-order imperative languages into digital circuits [4]. We introduce concurrency, an essential feature in the context o...