शोध निकाल

tree protocol Simon Peyton Jones - functional programming Gordon Plotkin Amir Pnueli - temporal logic Willem van der Poel - computer graphics, robotics...