Peter Landin

Peter John Landin (5 Junie 1930, Sheffield – 3 Junie 2009Peter Landin, Lambda the Ultimate, 4 June 2009.) was 'n Britse rekenaar wetenskaplike. Hy was een van die eerste om te besef dat lambda calculus gebruik kan word 'n programmeertaal te modelleer, 'n insig wat noodsaaklik is vir die ontwikkeling van beide funksionele programmeering en denotasionele semantiek.

 Geselekteerde publikasies 




  Herdruk in 


 Verwysings 

 Verdere leesstof 



 Eksterne skakels 
  DBLP
 Microsoft Academic Search
 Program Verification and Semantics: The Early Work  
 Memorial talk on Landin's life by Olivier Danvy at ICFP 2009
 Peter Landin's talk at Program Verification and Semantics: The Early Work, 2001 (video)

Kategorie:Geboortes in 1930
Kategorie:Sterftes in 2009