Cómo terminé coescribiendo ese artículo con Leslie Lamport

I came to write THAT paper with Leslie Lamport

Lawrence Paulson relata cómo pasó de rechazar el artículo de Leslie Lamport contra los tipos en lenguajes de especificación a coescribirlo con él. El editor Andrew Appel sugirió que Paulson y David McAllester se unieran a Lamport para hacerlo técnicamente preciso. Tras un segundo rechazo en la revisión, el artículo se publicó con una nota aclaratoria. Paulson reflexiona que, 27 años después, los sistemas de tipos han demostrado su valor en verificación, mientras que los formalismos sin tipos tienen problemas prácticos.