Bookbot

Greg Michaelson

    Equinox
    Dover Books on Mathematics: An Introduction to Functional Programming Through Lambda Calculus
    • Functional programming is rooted in lambda calculus, which constitutes the worlds smallest programming language. This well-respected text offers an accessible introduction to functional programming concepts and techniques for students of mathematics and computer science. The treatment is as nontechnical as possible, and it assumes no prior knowledge of mathematics or functional programming. Cogent examples illuminate the central ideas, and numerous exercises appear throughout the text, offering reinforcement of key concepts. All problems feature complete solutions.

      Dover Books on Mathematics: An Introduction to Functional Programming Through Lambda Calculus
      4,2
    • Equinox

      • 236 páginas
      • 9 horas de lectura

      Helen and Malcolm stumble upon interlocking pieces of a multi-faceted conspiracy. It's soon clear that strange powers are at play. Helen and Malcolm have twelve days to learn to cooperate, to piece the mystery together, save many worlds.

      Equinox
      4,0