618 search results - page 2 / 124 » Reducibility and TT-Lifting for Computation Types |
145
click to vote
CIE
2008
Springer
15 years 8 months ago
2008
Springer
d abstract) John Longley Laboratory for Foundations of Computer Science School of Informatics, University of Edinburgh The King's Buildings, Mayfield Road Edinburgh EH9 3JZ, U...
166
click to vote
TLCA
2009
Springer
16 years 19 days ago
2009
Springer
The straightforward elimination of union types is known to break subject reduction, and for some extensions of the lambda-calculus, to break strong normalization as well. Similarly...
155
Voted
FASE
2007
Springer
16 years 8 days ago
2007
Springer
The Declared Type Generalization Checker is a plug-in for Eclipse’s Java Development Tools (JDT) that supports developers in systematically finding and using better fitting types...
206
Voted
MMB
2010
Springer
15 years 8 months ago
2010
Springer
Phase-type (PH) distributions are proven to be very powerful tools in modelling and analysis of a wide range of phenomena in computer systems. The use of these distributions in sim...
154
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
Self-adjusting computation provides an evaluation model where computations can respond automatically to modifications to their data by using a mechanism for propagating modifica...