5465 search results - page 73 / 1093 » Assigning Types to Processes |
187
click to vote
POPL
2008
ACM
15 years 10 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...
75
Voted
JOCN
2010
2010
Medial Temporal Lobe Activity during Source Retrieval Reflects Information Type, not Memory Strength
14 years 8 months ago
■ The medial temporal lobes (MTLs) are critical for episodic memory but the functions of MTL subregions are controversial. According to memory strength theory, MTL subregions co...
ICALP
1990
Springer
15 years 1 months ago
1990
Springer
A system of hierarchical, fully recursive types in a truly imperative language allows program fragments written for small types to be reused for all larger types. To exploit this ...
ANLP
1994
14 years 11 months ago
1994
A new type of thesaurus for word processing is proposed. It comprises 7 semantic and 8 syntagmatic types of links between Russian words and collocations. The original version now ...
ESOP
2009
Springer
15 years 4 months ago
2009
Springer
This paper explores the surprisingly rich design space for the simply typed lambda calculus with casts and a dynamic type. Such a calculus is the target intermediate language of th...