Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

Euclid

< >

Euclid is a programming language created in 1970 by Butler Lampson.

#2061on PLDB 54Years Old
Wikipedia

Euclid is an imperative programming language for writing verifiable programs. It was designed by Butler Lampson and associates at the Xerox PARC lab in the mid-1970s. The implementation was led by Ric Holt at the University of Toronto and James Cordy was the principal programmer for the first implementation of the compiler. Read more on Wikipedia...


View source
- Build the next great programming language Add About Search Keywords Livestreams Labs Resources Acknowledgements Part of the World Wide Scroll