Almeida PS.? 1999.??Type-checking balloon types. Electronic Notes in Theoretical Computer Science. 20:1?27.