Yahoo Search Busca da Web

Entrar

Resultado da Busca

  1. www.cs.cmu.edu › ~jcr › indexJohn C. Reynolds Home Page - CMU School of Computer Science

    I am a member of the Principles of Programming group here at CMU. I am also a member of the advisory board of the journal Higher-Order and Symbolic Computation . Research Papers, Bibliography, and Latex Macros.

  2. en.wikipedia.org › wiki › John_CJohn C. Reynolds - Wikipedia

    John Charles Reynolds (June 1, 1935 – April 28, 2013) was an American computer scientist. [1] Education and affiliations. John Reynolds studied at Purdue University and then earned a Doctor of Philosophy (Ph.D.) in theoretical physics from Harvard University in 1961.

  3. Imagens

    • Famous Male Computer Scientists | List of Top Male Computer Scientists
    • John C. Reynolds - Age, Birthday, Bio, Facts & More - Famous Birthdays ...
    • Dr. John C. Reynolds Named First President of Los Angeles Pacific ...
    • Birthday of John C. Reynolds: American computer scientist
    • John C. Reynolds death anniversary

    Ver tudo

  4. www.cs.cmu.edu › ~jcr › craftprogThe Craft of Programming - CMU School of Computer Science

    18 de out. de 2011 · The Craft of Programming. John C. Reynolds formerly published by Prentice-Hall International, 1981. 434+xiii pages, ISBN 0-13-188862-5. This is a textbook on programming with emphasis on specification and proof of programs.

  5. www.cs.cmu.edu › news › john-c-reynolds-1935-2013John C. Reynolds, 1935-2013 | Carnegie Mellon School of ...

    1 de mai. de 2013 · John C. Reynolds, a long-time Computer Science Department professor known for his incisive work on the logical foundations of programs and programming languages and for his mentoring of students and junior faculty members, died April 28 of cancer and congestive heart disease. He was 77.

  6. cacm.acm.org › news › john-reynolds-1935-2013John Reynolds, 1935 – 2013 – Communications of the ACM

    29 de abr. de 2013 · John C. Reynolds, a professor of computer science at Carnegie Mellon University (CMU), died April 28 following a heart attack. Reynolds received his Ph.D. in theoretical physics from Harvard University in 1961.

  7. dblp.org › pid › rJohn C. Reynolds - dblp

    John C. Reynolds: Using category theory to design implicit conversions and generic operators. Semantics-Directed Compiler Generation 1980: 211-258

  8. www.researchgate.net › John-C-Reynolds-3225567John C. Reynolds's research works | Carnegie Mellon ...

    John C. Reynolds's 27 research works with 4,294 citations and 1,135 reads, including: Using Category Theory to Design Programming Languages.