I really think that history of computing is full of fantastic discoveries, atlants and their country, historical twists, etc. When I finally come to create my

I really think that history of computing is full of fantastic discoveries, atlants and their country, historical twists, etc. When I finally come to create my own map of some small island of history of computing, namely "type systems", I was thrilled, no less. The superheroes are among us, I think. ;)