Online Types For Proofs And Programs International Workshop Types99 Lökeberg Sweden June 1216 1999 Selected Papers