Vries

Results: 602



#Item
21

Locally Nameless Permutation Types? Edsko de Vries and Vasileios Koutavas Trinity College Dublin, Ireland Abstract. We define “Locally Nameless Permutation Types”, which fuse permutation types as used in Nominal Isab

Add to Reading List

Source URL: www.edsko.net

- Date: 2016-08-23 03:13:56
    22

    Diederick de Vries (leraar Drenthe College en commentator Eurosport) genomineerd voor Leraar van het jaarmbo)

    Add to Reading List

    Source URL: www.jobmbo.nl

    - Date: 2016-05-25 12:49:25
      23

      CALL FOR ABSTRACTS SSS3.6/EOS7 Geoheritage and Geodiversity Matter: Themes, Links and Interactions convened by Benjamin van Wyk de Vries, Zbigniew Zwoliński, Paola Coratza, Marco Giardino,

      Add to Reading List

      Source URL: www.progeo.se

      - Date: 2016-01-20 04:38:54
        24

        Uniqueness Typing for Resource Management in Message-Passing Concurrency Edsko de Vries∗ Adrian Francalanza

        Add to Reading List

        Source URL: www.edsko.net

        - Date: 2016-08-23 03:13:56
          25

          Fabrication technology of metal-cavity nanolasers in III-V membranes on silicon V. Dolores-Calzadilla,1 E. J. Geluk,1 T. de Vries,1 B. Smalbrugge,1 P. J. van Veldhoven,2 H. Ambrosius,1 D. Heiss,1 A. Fiore,2 and M. Smit1

          Add to Reading List

          Source URL: www.imt.kit.edu

          - Date: 2014-04-04 05:25:11
            26

            Communicating Transactions? (Extended Abstract) Edsko de Vries, Vasileios Koutavas, and Matthew Hennessy Trinity College Dublin {Edsko.de.Vries,Vasileios.Koutavas,Matthew.Hennessy}@cs.tcd.ie

            Add to Reading List

            Source URL: www.edsko.net

            - Date: 2016-08-23 03:13:56
              27

              Downloaded from rstb.royalsocietypublishing.org on June 12, 2012 Processing multiple non-adjacent dependencies: evidence from sequence learning Meinou H. de Vries, Karl Magnus Petersson, Sebastian Geukes, Pienie Zwitser

              Add to Reading List

              Source URL: cnl.psych.cornell.edu

              - Date: 2012-06-13 10:53:19
                28

                Numerical inverse scattering for the Korteweg–de Vries and modified Korteweg–de Vries equations Thomas Trogdon1 , Sheehan Olver2 and Bernard Deconinck3 1,3 2

                Add to Reading List

                Source URL: www.cims.nyu.edu

                - Date: 2014-02-21 09:18:09
                  29

                  A Practical Solution for Scripting Language Compilers Paul Biggar Edsko de Vries

                  Add to Reading List

                  Source URL: www.edsko.net

                  - Date: 2016-08-23 03:13:56
                    30

                    Equality-Based Uniqueness Typing Edsko de Vries⋆1 , Rinus Plasmeijer2 , and David M Abrahamson1 1 Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ie Radboud Universiteit Nijmegen, Netherlands,

                    Add to Reading List

                    Source URL: www.edsko.net

                    - Date: 2016-08-23 03:13:56
                      UPDATE