Search Results - Stump, Aaron

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Cover Image

    Programming language foundations / by Stump, Aaron

    Published 2014
    Book

    Save to List
    Saved in:
  2. 2
    Cover Image

    Verified Functional Programming in Agda. by Stump, Aaron

    Published 2016
    Full Text (via ProQuest)
    eBook

    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search