Gordon

Results: 8418



#Item
91

Dependent Types and Fibred Computational Effects Danel Ahman1 (joint work with Neil Ghani2 and Gordon Plotkin1 ) 1 2

Add to Reading List

Source URL: danelahman.github.io

- Date: 2018-03-25 20:15:13
    92

    Bob Heil – K9EID Gordon West – WB6NOA via Skype SEPTEMBER 15

    Add to Reading List

    Source URL: wyominghamcon.org

    - Date: 2018-03-20 18:46:53
      93

      Dependent Types and Fibred Computational Effects Danel Ahman1 (joint work with Gordon Plotkin1 and Neil Ghani2 ) 1 2

      Add to Reading List

      Source URL: danelahman.github.io

      - Date: 2018-03-25 20:15:13
        94

        Microsoft Word - MY BROTHER_Gordon_.doc

        Add to Reading List

        Source URL: www.bereavedparentsusa.org

        - Date: 2018-01-26 11:15:02
          95

          Bibliographic Essay on Archives of the Ohara Institute for Social Research Andrew Gordon From Appendex of Labor and Imperial Democracy in Prewar Japan (University of California Press, 1991, pp), shown on the wabs

          Add to Reading List

          Source URL: oohara.mt.tama.hosei.ac.jp

          - Date: 2013-12-24 23:14:31
            96

            Refinement Types for Algebraic Effects Danel Ahman and Gordon D. Plotkin Laboratory for Foundations of Computer Science, University of Edinburgh We investigate an algebraic treatment of propositional refinement types for

            Add to Reading List

            Source URL: danelahman.github.io

            - Date: 2018-03-25 20:15:13
              97

              Challenges in the Specification of Full Contracts ? Gordon J. Pace1 and Gerardo Schneider2 1 2 Department of Computer Science, University of Malta, Malta.

              Add to Reading List

              Source URL: folk.uio.no

              - Date: 2008-11-30 16:29:42
                98

                Kenneth G. Gordon, 226 N. Washington St., Moscow, IDUnited States of America FEDERAL COMMUNICATIONS COMMISSION EXPERIMENTAL RADIO STATION CONSTRUCTION PERMIT

                Add to Reading List

                Source URL: w5jgv.com

                - Date: 2009-01-18 22:15:17
                  99

                  Type Inference for Static Compilation of JavaScript Satish Chandra∗ Colin S. Gordon† Jean-Baptiste Jeannin∗ Cole Schlesinger∗ Manu Sridharan∗ Frank Tip‡ Youngil Choi§

                  Add to Reading List

                  Source URL: manu.sridharan.net

                  - Date: 2018-02-03 20:39:22
                    100

                    Type Inference for Static Compilation of JavaScript (Extended Version) Satish Chandra∗ Colin S. Gordon† Jean-Baptiste Jeannin∗ Cole Schlesinger∗ Manu Sridharan∗ Frank Tip‡ Youngil Choi§

                    Add to Reading List

                    Source URL: arxiv.org

                    - Date: 2016-10-18 20:20:39
                      UPDATE