Languages

Results: 66134



#Item
571

Notions of computation and monads Eugenio Moggi∗ Abstract The λ-calculus is considered an useful mathematical tool in the study of programming languages, since programs can be identified with λ-terms. However, if one

Add to Reading List

Source URL: core.ac.uk

- Date: 2014-10-31 12:11:04
    572

    Extreme Markup Languages 2004® Montréal, Québec August 2-6, 2004 Half-steps toward LMNL

    Add to Reading List

    Source URL: www.piez.org

    - Date: 2014-03-20 13:09:31
      573

      Computation-by-Interaction with Effects Ulrich Sch¨opp Ludwig-Maximilians-Universit¨at M¨unchen, Munich, Germany Abstract. A successful approach in the semantics of programming languages

      Add to Reading List

      Source URL: www2.tcs.ifi.lmu.de

      - Date: 2011-09-19 12:59:27
        574

        Polya’s Problem Solving Techniques In 1945 George Polya published the book How To Solve It which quickly became his most prized publication. It sold over one million copies and has been translated into 17 languages. In

        Add to Reading List

        Source URL: math.berkeley.edu

        - Date: 2012-05-24 12:39:07
          575

          TOWARDS A SYSTEMATIC INTEGRATION OF MOF/UML-BASED DOMAIN-SPECIFIC MODELING LANGUAGES 1 Bernhard Hoisl1,2 , Mark Strembeck1,2 , Stefan Sobernig1

          Add to Reading List

          Source URL: wi.wu.ac.at

          - Date: 2015-02-14 09:46:23
            576

            On project-speci c languages and their application in reengineering Dmitry Boulychev, Dmitry Koznov, Andrey A. T erekho v St. P etersburgState University , LANIT-TERCOM, Russia, St. P etersburg,Bibliotechnaya sq .

            Add to Reading List

            Source URL: oops.math.spbu.ru

            - Date: 2015-07-26 07:27:59
              577

              First-order definable languages Volker Diekert1 Paul Gastin2 1 FMI, Universit¨

              Add to Reading List

              Source URL: www2.informatik.uni-stuttgart.de

              - Date: 2008-01-09 11:49:22
                578

                Embedded Controlled Languages Aarne Ranta CNL 2014, GalwayAugust 2014

                Add to Reading List

                Source URL: attempto.ifi.uzh.ch

                - Date: 2014-08-22 08:11:04
                  579

                  LJGS: Gradual Security Types for Object-Oriented Languages Luminous Fennell1 and Peter Thiemann2 1 2

                  Add to Reading List

                  Source URL: drops.dagstuhl.de

                  - Date: 2016-07-18 08:02:41
                    580

                    W EV IE Practical Foundations for Programming Languages S ECOND E DITION

                    Add to Reading List

                    Source URL: www.cs.cmu.edu

                    - Date: 2016-12-07 12:41:08
                      UPDATE