Sciweavers

82
Voted
AMAST
2010
Springer
14 years 3 months ago
Type Fusion
Fusion is an indispensable tool in the arsenal of techniques for program derivation. Less well-known, but equally valuable is type fusion, which states conditions for fusing an app...
Ralf Hinze