Search results for ‘Daniel P. Friedman (Professor, Indiana University),David Thrane Christiansen’

Filter & Refine

      Cover image for The Little Typer
      Paperback
      Add to list Added to list

      The Little Typer

      Daniel P. Friedman (Professor, Indiana University),David Thrane Christiansen

      An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.

      $174.99

      Available to order, ships in approx 2 weeksAvailable to order