Languages

Results: 66134



#Item
551

Megamodels of Coupled Transformations Ralf Lämmel Software Languages Team University of Koblenz-Landau, Germany http://www.softlang.org/

Add to Reading List

Source URL: softlang.uni-koblenz.de

- Date: 2016-08-19 06:10:32
    552

    Types and Type Inference Mooly Sagiv Slides by Kathleen Fisher and John Mitchell Reading: “Concepts in Programming Languages”,

    Add to Reading List

    Source URL: www.cs.tau.ac.il

    - Date: 2014-05-11 15:49:09
      553

      Domain-specific languages and GPGPUs in life insurance and pensions Peter Sestoft (presenting work by many people in the Actulus project, at Edlund, U Copenhagen, and ITU)

      Add to Reading List

      Source URL: www.cse.chalmers.se

      - Date: 2015-04-27 03:08:35
        554

        PL Summary Mooly Sagiv Languages • •

        Add to Reading List

        Source URL: www.cs.tau.ac.il

        - Date: 2016-06-06 02:29:30
          555

          Concepts in Programming Languages – Recitation 5: Untyped Lambda Calculus Oded Padon & Mooly Sagiv (original slides by Kathleen Fisher, John Mitchell, Shachar Itzhaky, S. Tanimoto )

          Add to Reading List

          Source URL: www.cs.tau.ac.il

          - Date: 2015-05-06 11:36:06
            556

            Formal Syntax and Semantics of Programming Languages Mooly Sagiv Reference: Semantics with Applications Chapter 2

            Add to Reading List

            Source URL: www.cs.tau.ac.il

            - Date: 2015-04-12 10:45:56
              557

              Domain Specific Languages for Financial Payoffs | GTC 2013

              Add to Reading List

              Source URL: on-demand.gputechconf.com

              - Date: 2013-03-21 21:12:30
                558

                Concepts in Programming Languages – Recitation 5: More (Untyped) Lambda Calculus Oded Padon & Mooly Sagiv (original slides by Kathleen Fisher, John Mitchell, Shachar Itzhaky, S. Tanimoto )

                Add to Reading List

                Source URL: www.cs.tau.ac.il

                - Date: 2016-04-06 11:51:26
                  559

                  Concepts of Programming Languages Recitation 4

                  Add to Reading List

                  Source URL: www.cs.tau.ac.il

                  - Date: 2016-11-27 05:04:50
                    560

                    5 Translation and Verification of the Survey Material Development of source versions.............................................................................. 90 Double translation from two source languages.........

                    Add to Reading List

                    Source URL: www.oecd.org

                    - Date: 2016-03-29 12:39:45
                      UPDATE