Ian Stark

Results: 36



#Item
1

Safety Guarantees from Explicit Resource Management David Aspinall, Patrick Maier, and Ian Stark Laboratory for Foundations of Computer Science School of Informatics, The University of Edinburgh, Scotland {David.Aspinall

Add to Reading List

Source URL: www.dcs.gla.ac.uk

- Date: 2013-12-19 07:07:16
    2

    REMMonitoring External Resources in Java MIDP David Aspinall Patrick Maier1 Ian Stark Laboratory for Foundations of Computer Science School of Informatics, The University of Edinburgh

    Add to Reading List

    Source URL: www.dcs.gla.ac.uk

    - Date: 2013-12-19 07:07:14
      3

      Advances in Programming Languages APL20: Type-checking for SQLizeability Ian Stark School of Informatics The University of Edinburgh

      Add to Reading List

      Source URL: www.inf.ed.ac.uk

      - Date: 2010-03-18 11:11:32
        4

        Advances in Programming Languages APL3: Hoare logic David Aspinall (slides mostly by Ian Stark) School of Informatics

        Add to Reading List

        Source URL: www.inf.ed.ac.uk

        - Date: 2010-01-18 03:21:25
          5

          Advances in Programming Languages APL18: Bridging Query and Programming Languages Ian Stark School of Informatics The University of Edinburgh

          Add to Reading List

          Source URL: www.inf.ed.ac.uk

          - Date: 2010-03-10 21:26:25
            6

            Dining, shopping and nightlife in Montauk August 5, :37 AM By IAN J. STARK Special to Newsday /exploreli.com Brooklyn indie bands -- and the occasional rock star -- play concerts at Surf Lodge on weekends in the

            Add to Reading List

            Source URL: www.montaukchamber.com

            - Date: 2014-08-14 14:37:37
              7

              Advances in Programming Languages APL19: Heterogeneous Metaprogramming in F# Ian Stark School of Informatics The University of Edinburgh

              Add to Reading List

              Source URL: www.inf.ed.ac.uk

              - Date: 2010-03-14 19:23:34
                8

                Advances in Programming Languages APL11: Concurrency David Aspinall (including slides by Ian Stark) School of Informatics

                Add to Reading List

                Source URL: www.inf.ed.ac.uk

                - Date: 2010-02-14 18:47:59
                  9

                  Advances in Programming Languages APL8: Multiparameter Type Classes, Constructor Classes Ian Stark School of Informatics The University of Edinburgh

                  Add to Reading List

                  Source URL: www.inf.ed.ac.uk

                  - Date: 2010-02-04 06:36:04
                    10Software engineering / Computer programming / Declarative programming / Functional programming / Functional languages / Monad / Data types / Type class / Haskell / Entry point / Computation / Ur

                    Advances in Programming Languages APL10: State Transformers Ian Stark School of Informatics The University of Edinburgh Thursday 11 February

                    Add to Reading List

                    Source URL: www.inf.ed.ac.uk

                    Language: English - Date: 2010-02-11 05:50:59
                    UPDATE