Stump

Results: 571



#Item
11

Equational Reasoning about Programs with General Recursion and Call-by-value Semantics Garrin Kimmell Aaron Stump

Add to Reading List

Source URL: www.tyconmismatch.com

- Date: 2015-05-18 17:52:51
    12

    Project Report: Dependently typed programming with lambda encodings in Cedille Ananda Guneratne, Chad Reynolds, and Aaron Stump Computer Science, The University of Iowa, Iowa City, Iowa, USA , c

    Add to Reading List

    Source URL: homepage.cs.uiowa.edu

    - Date: 2016-08-15 15:47:01
      13

      From Realizability to Induction via Dependent Intersection Aaron Stump Computer Science, MacLean Hall, The University of Iowa, Iowa City, IA, 52242 Abstract In this paper, it is shown that induction is derivable in a typ

      Add to Reading List

      Source URL: homepage.cs.uiowa.edu

      - Date: 2016-10-16 23:53:55
        14

        SPOR E PR I N TS BULLETIN OF THE PUGET SOUND MYCOLOGICAL SOCIETY Number 501 Apriltree stump cavities, and underground humps. If the weather

        Add to Reading List

        Source URL: www.psms.org

        - Date: 2014-04-10 13:22:47
          15

          Building Verified Language Tools in Operational Type Theory Aaron Stump Computational Logic Center Computer Science Department The University of Iowa

          Add to Reading List

          Source URL: www.cis.upenn.edu

          - Date: 2008-10-15 15:02:55
            16

            SCS Global Services Report FOREST MANAGEMENT AND STUMP-TO-FOREST GATE CHAIN-OF-CUSTODY CERTIFICATION EVALUATION REPORT Forestry Tasmania

            Add to Reading List

            Source URL: cdn.forestrytasmania.com.au

            - Date: 2016-05-05 18:28:46
              17

              IN THIS ISSUE: Calendar of Events From the President Stump the Chumps! Free Census Records

              Add to Reading List

              Source URL: tgstopeka.org

              - Date: 2015-06-02 15:35:27
                18

                COMMISSIONERS DOUG LITTLE - Chairman BOB STUMP BOB BURNS TOM FORESE ANDY TOBIN

                Add to Reading List

                Source URL: www.azcc.gov

                - Date: 2016-05-26 11:18:16
                  19

                  University of Florida Police Department 2015 Response to Resistance Chief Linda J. Stump-Kurnick This Presentation Will Provide •A brief overview of Police Department operations and response to

                  Add to Reading List

                  Source URL: fora.aa.ufl.edu

                  - Date: 2016-04-27 12:58:26
                    20

                    IN THIS ISSUE: Calendar of Events From the President Stump the Chumps! Free Census Records

                    Add to Reading List

                    Source URL: www.tgstopeka.org

                    - Date: 2015-06-02 15:35:27
                      UPDATE