Haller

Results: 612



#Item
51The Function Passing Model: Types, Proofs, and Semantics Philipp Haller, Normen M¨ uller, Heather Miller May 2016

The Function Passing Model: Types, Proofs, and Semantics Philipp Haller, Normen M¨ uller, Heather Miller May 2016

Add to Reading List

Source URL: infoscience.epfl.ch

- Date: 2016-09-18 20:26:49
    52Strengthening Induction-Based Race Checking with Lightweight Static Analysis ? Alastair F. Donaldson, Leopold Haller, and Daniel Kroening Oxford University Computing Laboratory, Oxford, UK Abstract. Direct Memory Access

    Strengthening Induction-Based Race Checking with Lightweight Static Analysis ? Alastair F. Donaldson, Leopold Haller, and Daniel Kroening Oxford University Computing Laboratory, Oxford, UK Abstract. Direct Memory Access

    Add to Reading List

    Source URL: www.doc.ic.ac.uk

    - Date: 2012-08-31 08:16:46
      53Function Passing: A Model for Typed, Distributed Functional Programming Heather Miller Philipp Haller

      Function Passing: A Model for Typed, Distributed Functional Programming Heather Miller Philipp Haller

      Add to Reading List

      Source URL: infoscience.epfl.ch

      - Date: 2016-09-20 19:48:52
        54Haller Motorworx LLC Hosts First RED POWER DAYS As spring time hits Arkansas, The people at Haller Motorworx LLC in Magazine, AR, are busy preparing for the start of the season. Joe Haller and his wife, Sarah, are ready

        Haller Motorworx LLC Hosts First RED POWER DAYS As spring time hits Arkansas, The people at Haller Motorworx LLC in Magazine, AR, are busy preparing for the start of the season. Joe Haller and his wife, Sarah, are ready

        Add to Reading List

        Source URL: argotractors.cms.arscolor.com

        - Date: 2016-04-11 10:40:53
          55L AC ASA: Lightweight Affinity and Object Capabilities in Scala Philipp Haller Alex Loiko KTH Royal Institute of Technology, Sweden

          L AC ASA: Lightweight Affinity and Object Capabilities in Scala Philipp Haller Alex Loiko KTH Royal Institute of Technology, Sweden

          Add to Reading List

          Source URL: www.csc.kth.se

          - Date: 2016-10-20 08:09:09
            56Personalie Vallendar, „Der PTHV seit Jahren verbunden“ PTHV ernennt Freiherr Haller von Hallerstein zum Ehrensenator Aufgrund seiner jahrelangen Verbundenheit wurde nun Wilhelm Dieter Freiherr Haller von

            Personalie Vallendar, „Der PTHV seit Jahren verbunden“ PTHV ernennt Freiherr Haller von Hallerstein zum Ehrensenator Aufgrund seiner jahrelangen Verbundenheit wurde nun Wilhelm Dieter Freiherr Haller von

            Add to Reading List

            Source URL: www.pthv.de

            - Date: 2016-07-04 09:15:01
              57CIR 707 Weed Control in Florida Ponds1 D.D. Thayer, K. A. Langeland, W.T. Haller, and J.C. Joyce2 Ponds are often built to supplement farm income via fish production, for personal enjoyment, or for

              CIR 707 Weed Control in Florida Ponds1 D.D. Thayer, K. A. Langeland, W.T. Haller, and J.C. Joyce2 Ponds are often built to supplement farm income via fish production, for personal enjoyment, or for

              Add to Reading List

              Source URL: www.aces.edu

              - Date: 2010-01-12 11:58:52
                58Eidg. Justiz- und Polizeidepartement EJPD Staatssekretariat für Migration Stabsbereich Recht z.H. Herrn Bernhard Fürer Frau Carola Haller Quellenweg 6

                Eidg. Justiz- und Polizeidepartement EJPD Staatssekretariat für Migration Stabsbereich Recht z.H. Herrn Bernhard Fürer Frau Carola Haller Quellenweg 6

                Add to Reading List

                Source URL: www.gastrosuisse.ch

                - Date: 2015-05-29 04:40:18
                  59TWISTED FORMS OF LINEAR ALGEBRAIC GROUPS: SOME ASPECTS OF COMPUTATION INTERCITY NUMBER THEORY SEMINAR. EINDHOVEN, NETHERLANDS SERGEI HALLER

                  TWISTED FORMS OF LINEAR ALGEBRAIC GROUPS: SOME ASPECTS OF COMPUTATION INTERCITY NUMBER THEORY SEMINAR. EINDHOVEN, NETHERLANDS SERGEI HALLER

                  Add to Reading List

                  Source URL: www.math.leidenuniv.nl

                  - Date: 2004-11-02 09:29:39
                    60Containers and Aggregates, Mutators and Isolates for Reactive Programming Aleksandar Prokopec Philipp Haller

                    Containers and Aggregates, Mutators and Isolates for Reactive Programming Aleksandar Prokopec Philipp Haller

                    Add to Reading List

                    Source URL: axel22.github.io

                    - Date: 2016-08-13 13:11:44