Ian Stark

Results: 36



#Item
1Safety 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

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
    2REMMonitoring External Resources in Java MIDP David Aspinall Patrick Maier1 Ian Stark Laboratory for Foundations of Computer Science School of Informatics, The University of Edinburgh

    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
      3Advances in Programming Languages APL20: Type-checking for SQLizeability Ian Stark School of Informatics The University of Edinburgh

      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
        4Advances in Programming Languages APL3: Hoare logic David Aspinall (slides mostly by Ian Stark) School of Informatics

        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
          5Advances in Programming Languages APL18: Bridging Query and Programming Languages Ian Stark School of Informatics The University of Edinburgh

          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
            6Dining, 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

            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
              7Advances in Programming Languages APL19: Heterogeneous Metaprogramming in F# Ian Stark School of Informatics The University of Edinburgh

              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
                8Advances in Programming Languages APL11: Concurrency David Aspinall (including slides by Ian Stark) School of Informatics

                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
                  9Advances in Programming Languages APL8: Multiparameter Type Classes, Constructor Classes Ian Stark School of Informatics The University of Edinburgh

                  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
                    10Advances in Programming Languages APL10: State Transformers Ian Stark School of Informatics The University of Edinburgh Thursday 11 February

                    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