Pages that link to "Luca Cardelli"
Appearance
Showing 50 items.
- List of computer scientists (links | edit)
- Digital Equipment Corporation (links | edit)
- Modula (links | edit)
- Niklaus Wirth (links | edit)
- Oberon (programming language) (links | edit)
- Programming language (links | edit)
- OCaml (links | edit)
- Ryōji Noyori (links | edit)
- Prototype-based programming (links | edit)
- Data type (links | edit)
- Andrew D. Gordon (links | edit)
- Type system (links | edit)
- Subtyping (links | edit)
- Modula-3 (links | edit)
- Polymorphism (computer science) (links | edit)
- Raoul Bott (links | edit)
- Oberon (operating system) (links | edit)
- Component Pascal (links | edit)
- 1998 in science (links | edit)
- Lilith (computer) (links | edit)
- Oberon-2 (links | edit)
- University of Pisa (links | edit)
- Obliq (links | edit)
- Harold E. Varmus (links | edit)
- School of Informatics, University of Edinburgh (links | edit)
- Ehud Shapiro (links | edit)
- Alma-0 (links | edit)
- Object Oberon (links | edit)
- Covariance and contravariance (computer science) (links | edit)
- SIGPLAN (links | edit)
- Hartmut Michel (links | edit)
- Vismon (links | edit)
- Kronos (computer) (links | edit)
- A2 (operating system) (links | edit)
- Montecatini Terme (links | edit)
- Deborah Charlesworth (links | edit)
- David Masser (links | edit)
- Alastair Fitter (links | edit)
- Tom McKillop (links | edit)
- Department of Computer Science, University of Oxford (links | edit)
- Gordon Plotkin (links | edit)
- David Spiegelhalter (links | edit)
- Lola (computing) (links | edit)
- Parametric polymorphism (links | edit)
- Philip Power (links | edit)
- Programming language theory (links | edit)
- Philip Russell (physicist) (links | edit)
- Leonard Wolfson, Baron Wolfson (links | edit)
- Luca Cardelli (transclusion) (links | edit)
- Douglas Ross (physicist) (links | edit)