337 search results - page 60 / 68 » Type Classes for Mathematics in Type Theory |
OOPSLA
2009
Springer
14 years 3 months ago
2009
Springer
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...
WIKIS
2006
ACM
14 years 2 months ago
2006
ACM
In this paper we ask to what extent collective cognition can be supported and sustained in classroom practices. One major challenge for learning in technology-rich, collaborative ...
FPGA
2004
ACM
14 years 1 months ago
2004
ACM
In this paper, we introduce a reconfigurable fabric based around a new class of circuit element: the hybrid Hall effect (HHE) magnetoelectronic device. Because they incorporate a ...
HICSS
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper considers the theory of social capital and volunteerism in an online gaming community, the Internet Chess Club (ICC). We discuss how increased social capital provides b...
ICALP
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. We provide a framework for the design and analysis of dynamic programming algorithms for surface-embedded graphs on n vertices and branchwidth at most k. Our technique ap...