Data types

Results: 6238



#Item
1Transforming Spreadsheet Data Types using Examples Rishabh Singh Sumit Gulwani  Microsoft Research, Redmond, USA

Transforming Spreadsheet Data Types using Examples Rishabh Singh Sumit Gulwani Microsoft Research, Redmond, USA

Add to Reading List

Source URL: rishabhmit.bitbucket.io

Language: English - Date: 2018-06-25 09:59:57
    2Semantics of Interaction Samson Abramsky Abstract The “classical” paradigm for denotational semantics models data types as domains, i.e. structured sets of some kind, and programs as (suitable) functions between doma

    Semantics of Interaction Samson Abramsky Abstract The “classical” paradigm for denotational semantics models data types as domains, i.e. structured sets of some kind, and programs as (suitable) functions between doma

    Add to Reading List

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

    Language: English - Date: 2003-02-27 10:19:48
    3Model Checking Recursive Programs with Numeric Data Types Matthew Hague and Anthony Widjaja Lin Oxford University Computing Laboratory  Abstract. Pushdown systems (PDS) naturally model sequential recursive programs. Nume

    Model Checking Recursive Programs with Numeric Data Types Matthew Hague and Anthony Widjaja Lin Oxford University Computing Laboratory Abstract. Pushdown systems (PDS) naturally model sequential recursive programs. Nume

    Add to Reading List

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

    Language: English - Date: 2013-02-08 18:19:57
      4RAID Introduction • RAID – Redundant Array of Independent Disks • combines multiple drives into a single large storage • widely used in NASes and servers  • Different RAID types are called levels

      RAID Introduction • RAID – Redundant Array of Independent Disks • combines multiple drives into a single large storage • widely used in NASes and servers • Different RAID types are called levels

      Add to Reading List

      Source URL: www.data.recovery.training

      Language: English - Date: 2014-09-22 03:17:30
        5Data Sources on the Web Data Sources on the Web is an online library resource guide (or LibGuide) that provides access to a variety of sources of statistical and other types of data that are available online through gove

        Data Sources on the Web Data Sources on the Web is an online library resource guide (or LibGuide) that provides access to a variety of sources of statistical and other types of data that are available online through gove

        Add to Reading List

        Source URL: library.csu.edu

        - Date: 2016-12-15 16:13:41
          6Citation: M. Tanabashi et al. (Particle Data Group), Phys. Rev. D 98, Number of Neutrino Types The neutrinos referred to in this section are those of the Standard SU(2)×U(1) Electroweak Model possibly ext

          Citation: M. Tanabashi et al. (Particle Data Group), Phys. Rev. D 98, Number of Neutrino Types The neutrinos referred to in this section are those of the Standard SU(2)×U(1) Electroweak Model possibly ext

          Add to Reading List

          Source URL: pdg.ge.infn.it

          Language: English - Date: 2018-06-05 22:14:09
            7Chapter 8  Programming with GADTs ML-style variants and records make it possible to define many different data types, including many of the types we encoded in System F𝜔 in Chapter 2.4.1: booleans, sums, lists, trees,

            Chapter 8 Programming with GADTs ML-style variants and records make it possible to define many different data types, including many of the types we encoded in System F𝜔 in Chapter 2.4.1: booleans, sums, lists, trees,

            Add to Reading List

            Source URL: www.cl.cam.ac.uk

            Language: English - Date: 2015-02-23 05:40:22
              8Towards Refinement Types for Time-Dependent Data-Flow Networks

              Towards Refinement Types for Time-Dependent Data-Flow Networks

              Add to Reading List

              Source URL: feever.fr

              Language: English - Date: 2016-05-26 09:52:03
                9MATERIAL SAFETY DATA SHEET CADWELD ® Electrical Welding Material Inclusive of material types Applicable prefixes Revision Issue Date

                MATERIAL SAFETY DATA SHEET CADWELD ® Electrical Welding Material Inclusive of material types Applicable prefixes Revision Issue Date

                Add to Reading List

                Source URL: www.staffelectric.com

                Language: English - Date: 2015-07-10 09:30:05
                  10MEMORY MODEL SENSITIVE ANALYSIS OF CONCURRENT DATA TYPES Sebastian Burckhardt A DISSERTATION  in

                  MEMORY MODEL SENSITIVE ANALYSIS OF CONCURRENT DATA TYPES Sebastian Burckhardt A DISSERTATION in

                  Add to Reading List

                  Source URL: www.cis.upenn.edu

                  Language: English - Date: 2007-11-15 11:26:54