Pages that link to "Biography:John C. Reynolds"
From HandWiki
The following pages link to Biography:John C. Reynolds:
Displayed 50 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Bunched logic (← links)
- ISWIM (← links)
- Napier88 (← links)
- Programming language (← links)
- Simula (← links)
- SMALL (← links)
- Infer Static Analyzer (← links)
- Polymorphism (computer science) (← links)
- Subtyping (← links)
- Expression problem (← links)
- Covariance and contravariance (computer science) (← links)
- Parametricity (← links)
- Invariant-based programming (← links)
- System F (← links)
- NEWP (← links)
- DASK (← links)
- IFIP Working Group 2.1 (← links)
- JOVIAL (← links)
- ALGOL W (← links)
- Edinburgh IMP (← links)
- IMP (programming language) (← links)
- ALGOL (← links)
- PS-algol (← links)
- MAD (programming language) (← links)
- NELIAC (← links)
- Executive Systems Problem Oriented Language (← links)
- ALCOR (← links)
- Meta-circular evaluator (← links)
- Continuation-passing style (← links)
- Monad (functional programming) (← links)
- Currying (← links)
- Software project management (← links)
- Delimited continuation (← links)
- Atlas Autocode (← links)
- Coral 66 (← links)
- ALGOL 60 (← links)
- ALGOL 68 (← links)
- ELLA (programming language) (← links)
- List of important publications in computer science (← links)
- Forsythe (programming language) (redirect page) (← links)
- Separation logic (← links)
- ALGOL 58 (← links)
- Programming language theory (← links)
- Defunctionalization (← links)
- Continuation (← links)
- Jensen's device (← links)
- CORAL (← links)
- IFIP Working Group 2.3 (← links)
- CEK Machine (← links)
- History of programming languages (← links)
