1209 search results - page 16 / 242 » Universal Algebra and Computer Science |
SIGCSE
2008
ACM
13 years 8 months ago
2008
ACM
Summer camps offer a ripe opportunity for increasing computer science diversity. This panel provides several examples of summer camps that specifically recruit from traditionally ...
GG
1997
Springer
14 years 23 days ago
1997
Springer
MFCS
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. We initiate a purely algebraic study of Ehrhard and Regnier’s resource λ-calculus, by introducing three equational classes of algebras: resource combinatory algebras, ...
SIGCSE
2009
ACM
14 years 9 months ago
2009
ACM
This special session examines frameworks for the preparation of high school computer science (CS) teachers from the Israeli perspective. Specifically, several Israeli CS teacher p...
TCS
1998
13 years 8 months ago
1998
Algebraic translation methods are argued for in many fields of science. Several examples will be considered: from the field of compiler construction, database updates, concurren...