Archive for the ‘functional programming’ tag.
Turing100 Lecture: Butler Lampson – Systems, Security, Verification and more – Nov 24
In 1992, Butler Lampson received the Turing award in for his contributions to the development of distributed, personal computing environments and the technology for their implementation: workstations, networks, operating systems, programming systems, displays, security and document publishing. On Saturday, 24th November, Neeran Karnik, Senior Architect at BMC Software, will give a talk about Butler Lampson’s [...]
Turing100 Lecture: Robin Milner and Polymorphic Type Inference in Programming Langauges – Oct 6
Robin Milner received the Turing award in 1991 for three major contributions to computer science: In the area of automated theorem proving – He developed LCF, the first theoretically sound yet practical tool for machine assisted proof construction In the area of programming language design – He developed ML, the first language to use polymorphic [...]