537 search results - page 54 / 108 » A Theory of Inferred Causation |
208
click to vote
POPL
2007
ACM
16 years 4 days ago
2007
ACM
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
118
click to vote
ICFP
2003
ACM
15 years 11 months ago
2003
ACM
This paper presents a static type system for JAVA Virtual Machine (JVM) code that enforces an access control mechanism similar to the one found, for example, in a JAVA implementat...
111
click to vote
OWLED
2008
15 years 1 months ago
2008
Product development requires the ability to check design consistency, to verify design properties, and to answer questions about a design's possible implementations. These tas...
113
click to vote
ICFP
2003
ACM
15 years 11 months ago
2003
ACM
FreshML extends ML with elegant and practical constructs for declaring and manipulating syntactical data involving statically scoped binding operations. User-declared FreshML data...
HICSS
2002
IEEE
15 years 4 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...