4190 search results - page 141 / 838 » Type Class Directives |
265
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have...
145
click to vote
AFP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Esther is the interactive shell of Famke, a prototype implementation of a strongly typed operating system written in the functional programming language Clean. As usual, ...
158
click to vote
TLDI
2005
ACM
15 years 9 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, ...
137
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
METAI is a generic process calculus that can be instantiated by supplying rewriting rules defining an operational semantics to make numerous process calculi such as the -calculus,...
121
click to vote
JURIX
2008
15 years 5 months ago
2008
Abstract. In the AVERs sense-making tool for crime analysis different types of information are represented in different ways. More precisely, narrative knowledge is represented in ...