5465 search results - page 73 / 1093 » Assigning Types to Processes |
247
Voted
POPL
2008
ACM
16 years 2 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...
104
click to vote
JOCN
2010
2010
Medial Temporal Lobe Activity during Source Retrieval Reflects Information Type, not Memory Strength
15 years 26 days 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 6 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
15 years 3 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 ...
122
click to vote
ESOP
2009
Springer
15 years 9 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...