Operational calculus

Results: 39



#Item
1‫הסדרים‪ ‬השונים‪ ‬ב‪ λ­calculus ‬‬ ‫את‪ ‬כל‪ ‬הסדרים‪ ‬השונים‪ ‬ניתן‪ ‬לתאר‪ ‬כ‪ Operational Semantics ‬על‪ ‬בס

‫הסדרים‪ ‬השונים‪ ‬ב‪ λ­calculus ‬‬ ‫את‪ ‬כל‪ ‬הסדרים‪ ‬השונים‪ ‬ניתן‪ ‬לתאר‪ ‬כ‪ Operational Semantics ‬על‪ ‬בס

Add to Reading List

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

- Date: 2016-04-05 07:31:12
    2‫הסדרים השונים ב ‪λ-calculus‬‬ ‫את כל הסדרים השונים ניתן לתאר כ ‪ Operational Semantics‬על בסיס הכללים הבאים‪:‬‬ ‫כל סדר מוגדר ע

    ‫הסדרים השונים ב ‪λ-calculus‬‬ ‫את כל הסדרים השונים ניתן לתאר כ ‪ Operational Semantics‬על בסיס הכללים הבאים‪:‬‬ ‫כל סדר מוגדר ע"י

    Add to Reading List

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

    - Date: 2016-12-07 03:30:50
      3Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines Małgorzata Biernacka Olivier Danvy

      Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines Małgorzata Biernacka Olivier Danvy

      Add to Reading List

      Source URL: www.schemeworkshop.org

      Language: English - Date: 2015-04-20 13:48:41
      4Modular Bisimulation Theory for Computations and Values Martin Churchill and Peter D. Mosses {m.d.churchill,p.d.mosses}@swansea.ac.uk Department of Computer Science, Swansea University, Swansea, UK

      Modular Bisimulation Theory for Computations and Values Martin Churchill and Peter D. Mosses {m.d.churchill,p.d.mosses}@swansea.ac.uk Department of Computer Science, Swansea University, Swansea, UK

      Add to Reading List

      Source URL: plancomps.dreamhosters.com

      Language: English - Date: 2014-11-22 16:20:54
      5c Cambridge University Press 2009 JFP: page 1 of 24.  1 doi:S0956796809990219

      c Cambridge University Press 2009 JFP: page 1 of 24.  1 doi:S0956796809990219

      Add to Reading List

      Source URL: www.cs.ioc.ee

      Language: English - Date: 2009-10-12 08:32:22
      6Semantics for core Concurrent ML using computation types Alan Jeffrey Abstract This paper presents two typed higher-order concurrent functional programming languages, based on Reppy’s Concurrent ML. The first is a simp

      Semantics for core Concurrent ML using computation types Alan Jeffrey Abstract This paper presents two typed higher-order concurrent functional programming languages, based on Reppy’s Concurrent ML. The first is a simp

      Add to Reading List

      Source URL: ect.bell-labs.com

      Language: English - Date: 2010-12-15 21:39:09
      7

      PDF Document

      Add to Reading List

      Source URL: ect.bell-labs.com

      Language: English - Date: 2010-12-15 21:37:11
      8BRICS RSBiernacka et al.: An Operational Foundation for Delimited Continuations in the CPS Hierarchy BRICS Basic Research in Computer Science

      BRICS RSBiernacka et al.: An Operational Foundation for Delimited Continuations in the CPS Hierarchy BRICS Basic Research in Computer Science

      Add to Reading List

      Source URL: www.brics.dk

      Language: English - Date: 2005-03-22 05:30:06
      9A tutorial on call-by-push-value Paul Blain Levy University of Birmingham October 12, 2013

      A tutorial on call-by-push-value Paul Blain Levy University of Birmingham October 12, 2013

      Add to Reading List

      Source URL: www.cs.bham.ac.uk

      Language: English - Date: 2013-10-21 08:35:46
      10JFP 19 (6): 699–722, c Cambridge University Press 2009  699

      JFP 19 (6): 699–722, c Cambridge University Press 2009  699

      Add to Reading List

      Source URL: www.kurims.kyoto-u.ac.jp

      Language: English - Date: 2009-11-01 21:42:18