Как я стал соавтором статьи с Лесли Лэмпортом, которую сам же и отклонил

I came to write THAT paper with Leslie Lamport

Лоуренс Полсон рассказывает, как его рецензия на статью Лесли Лэмпорта «Types Considered Harmful» привела к неожиданному соавторству. Несмотря на первоначальное отклонение, редактор TOPLAS предложил Полсону и Лэмпорту переработать статью. Полсон описывает процесс совместной работы, второй раунд рецензирования и анализирует, насколько тезисы Лэмпорта о вреде типов выдержали проверку временем, признавая, что типизированные формализмы доказали свою ценность.