Pages that link to "Martín Abadi"
Showing 50 items.
- Modula (links | edit)
- Niklaus Wirth (links | edit)
- Oberon (programming language) (links | edit)
- Burrows–Abadi–Needham logic (links | edit)
- Subtyping (links | edit)
- Modula-3 (links | edit)
- Oberon (operating system) (links | edit)
- Component Pascal (links | edit)
- Lilith (computer) (links | edit)
- Wide Mouth Frog protocol (links | edit)
- Oberon-2 (links | edit)
- List of Syrians (links | edit)
- Obliq (links | edit)
- Zohar Manna (links | edit)
- Alma-0 (links | edit)
- Object Oberon (links | edit)
- Kronos (computer) (links | edit)
- A2 (operating system) (links | edit)
- Proof of work (links | edit)
- Function composition (computer science) (links | edit)
- Gordon Plotkin (links | edit)
- Lola (computing) (links | edit)
- Andrei Broder (links | edit)
- Programming language theory (links | edit)
- Luca Cardelli (links | edit)
- Symposium on Logic in Computer Science (links | edit)
- Modula-2+ (links | edit)
- Martin Abadi (redirect page) (links | edit)
- Prototype-based programming (links | edit)
- Andrew D. Gordon (links | edit)
- Π-calculus (links | edit)
- List of University of California, Santa Cruz people (links | edit)
- Symposium on Logic in Computer Science (links | edit)
- Baby Modula-3 (links | edit)
- Explicit substitution (links | edit)
- Object-oriented programming (links | edit)
- List of Argentine computer scientists (links | edit)
- User:Pengo/comp (links | edit)
- User:Ruud Koot/Computer science (links | edit)
- User:Cryptobito/sandbox (links | edit)
- User:PirinchoER/sandbox (links | edit)
- Baby Modula-3 (links | edit)
- Michael Burrows (links | edit)
- BlackBox Component Builder (links | edit)
- List of programming language researchers (links | edit)
- Active Oberon (links | edit)
- Ceres (workstation) (links | edit)
- Modula-2 (links | edit)
- Abadi (surname) (links | edit)
- Jürg Gutknecht (links | edit)
- Zonnon (links | edit)
- Abadi, Martín (redirect page) (links | edit)
- List of fellows of the Association for Computing Machinery (links | edit)
- Ilya Sutskever (links | edit)
- Greg Nelson (computer scientist) (links | edit)
- Talk:Martín Abadi (transclusion) (links | edit)
- Talk:Disappearance of Natalee Holloway/Archive 3 (links | edit)
- User:Tony Sidaway/Living people/a00 (links | edit)
- User:Tony Sidaway/Living people/tranche 000 (links | edit)
- User:Tule-hog/All Computing articles (links | edit)
- Wikipedia:Version 1.0 Editorial Team/Computer and Information Security articles by quality log (links | edit)
- Wikipedia:Version 1.0 Editorial Team/Computer Security articles by quality and importance/2 (links | edit)
- Template:Modula, Oberon (links | edit)