13734 search results - page 141 / 2747 » Abstractions of data types |
138
click to vote
ECOOP
1993
Springer
15 years 8 months ago
1993
Springer
Abstract. We have designed and implemented a type inference algorithm for the Self language. The algorithm can guarantee the safety and disambiguity of message sends, and provide u...
128
click to vote
FLOPS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We study the dynamic control operators for delimited continuations, control and prompt. Based on recent developments on purely functional CPS translations for them, we in...
132
click to vote
LOBJET
2000
15 years 3 months ago
2000
ABSTRACT. As informal methods do little to help their use for concurrent and distributed programming, one of the most challenging current tasks is to build tools based on formal me...
130
click to vote
CIE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We consider an extensional version, called qmTT, of the intensional Minimal Type Theory mTT, introduced in a previous paper with G. Sambin, enriched with proof-irrelevanc...
139
click to vote
PRICAI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Infection by high-risk human papillomaviruses (HPVs) is associated with the development of cervical cancers. Classification of risk types is important to understand the ...