Volume 12 Issue 8 August 2007 pp 27-48 General Article

A Taste of Functional Programming – I

Madhavan Mukund

Volume 12 Issue 9 September 2007 pp 40-63 General Article

A Taste of Functional Programming – 2

Madhavan Mukund

Volume 14 Issue 7 July 2009 pp 667-681 General Article

Model Checking - Automated Verification of Computational Systems

Madhavan Mukund

Volume 25 Issue 1 January 2020 pp 13-13 Article-in-a-Box

Herbert Simon (1916-2001)

Madhavan Mukund

Volume 25 Issue 1 January 2020 pp 141-151 Face to Face

From Education to E-governance: V Rajaraman talks to Madhavan Mukund

Madhavan Mukund