1948 search results - page 273 / 390 » Formalizing Mirror Theory |
182
click to vote
TLDI
2005
ACM
15 years 11 months ago
2005
ACM
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...
161
click to vote
BIRTHDAY
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The aim of the MMiSS project is the construction of a multimedia Internet-based adaptive educational system. Its content will initially cover a whole curriculum in the ar...
128
click to vote
HICSS
2002
IEEE
15 years 10 months ago
2002
IEEE
A computational enterprise model representing key facets of an organization can be an effective tool. For example, a specific organization's quality management business proce...
244
click to vote
STOC
1993
ACM
15 years 9 months ago
1993
ACM
Most complexity measures for concurrent algorithms for asynchronous shared-memory architectures focus on process steps and memory consumption. In practice, however, performance of ...
145
click to vote
CSL
2006
Springer
15 years 9 months ago
2006
Springer
The goal of this note is to provide a background and references for the invited lecture presented at Computer Science Logic 2006. We briefly discuss motivations that led to the eme...