Home » functional programming

The best way to stay in touch with PuneTech and associated activities is to subscribe and receive most recent updates in your email inbox or via RSS. And, if you are looking for special interest groups, Click here. See our About Page to find out more about what PuneTech is.

Like to chat with PuneTech's founder? Connect now!

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 […]