324 search results - page 7 / 65 » Towards a type theory of contexts |
PLDI
2009
ACM
14 years 2 months ago
2009
ACM
Self-representation – the ability to represent programs in their own language – has important applications in reflective languages and many other domains of programming langu...
ISIPTA
1999
IEEE
13 years 12 months ago
1999
IEEE
Belief functions, possibility measures and Choquet capacities of order 2, which are special kinds of coherent upper or lower probability, are amongst the most popular mathematical...
DEBS
2007
ACM
13 years 11 months ago
2007
ACM
Event-driven systems are used in a wide range of applications such as responding to missile attacks, interdicting potential terrorists, exploiting arbitrage opportunities and resp...
AINA
2007
IEEE
14 years 2 months ago
2007
IEEE
The evolution and existence of stable trust relations have been studied extensively in the context of social theory. However, reputation systems or trust schemes have only been re...
SYNASC
2006
IEEE
14 years 1 months ago
2006
IEEE
The paper focuses on means of defining parameterized type categories and algorithms built on such types in Mathematica. Symbolic algorithms based on category theory have the advan...