Philip Wadler, FRS

Search results

• 2022

  Introduction to Computation: Haskell, Logic and Automata

  Sannella, D., Fourman, M. P., Peng, H. & Wadler, P., 14 Feb 2022, 1 ed. Springer. 365 p. (Undergraduate Topics in Computer Science)

  Research output: Book/Report › Book

  • Computation 100%
  • Automaton 100%
  • Technical Skill 33%
  • Recursion 33%
  • Reasoning 33%
• 2018

  Programming Language Foundations in Agda

  Wadler, P. & Kokke, W., 2018

  Research output: Book/Report › Book

  Open Access

  • Programming Language 100%
  • Programs 80%
  • Operational Semantics 40%
  • Lambda Calculus 20%
  • Formal Structure 20%
• 1988

  An introduction to functional programming

  Bird, R. & Wadler, P., 1988, Hertfordshire, UK, UK: Prentice Hall International (UK) Ltd.

  Research output: Book/Report › Book