Typing

Results: 1599



#Item
241Language / Writing / Error / Typing / Typographical error / Typography / Document

Microsoft Word - correction_inst

Add to Reading List

Source URL: dat.maryland.gov

Language: English - Date: 2016-04-15 16:10:39
242

HLIO: Mixing Static and Dynamic Typing for Information-Flow Control in Haskell Pablo Buiras Dimitrios Vytiniotis

Add to Reading List

Source URL: www.cse.chalmers.se

Language: English - Date: 2015-06-26 17:56:57
    243Software engineering / Programming language theory / Software / NATO / CENTAG wartime structure / Gradual typing / Factorization / Type system / Racket

    PDF Document

    Add to Reading List

    Source URL: www.ccs.neu.edu

    Language: English - Date: 2015-11-12 18:17:11
    244Software licenses / Free software / Concurrent user

    Typing Quest price list This price list is valid until July 31st, 2017. Prices in US dollar. User licenses Concurrent licenses

    Add to Reading List

    Source URL: www.typingquest.com

    Language: English - Date: 2016-04-07 04:55:23
    245Software engineering / Computer programming / Programming language theory / Type theory / Data types / Functional languages / Functional programming / Procedural programming languages / Standard ML / Algebraic data type / Tagged union / Unification

    1 Typing deep pattern-matching in presence of polymorphic variants Jacques Garrigue† Polymorphic variants are a well-known feature of the Objective Caml programming language, and they have turned popular since their i

    Add to Reading List

    Source URL: www.math.nagoya-u.ac.jp

    Language: English - Date: 2005-02-23 20:45:31
    246

    Static Typing & JavaScript Libraries: ∗ Towards a More Considerate Relationship Benjamin Canou Emmanuel Chailloux

    Add to Reading List

    Source URL: www2013.org

    Language: English - Date: 2014-07-21 08:46:56
      247Technical communication / Markup languages / Oxygen XML Editor / XML editor / Darwin Information Typing Architecture / Single source publishing / Component content management system

      XML Author DITA Support XML Author is the most efficient solution for implementing single-source publishing features and content reuse. XML Authoring for Everyone!

      Add to Reading List

      Source URL: oxygenxml.com

      Language: English - Date: 2015-07-22 10:24:54
      248

      Nucleic Acids Research Advance Access published May 27, 2015 Nucleic Acids Research, doi: nar/gkv563 Bacteriophage strain typing by rapid single molecule analysis

      Add to Reading List

      Source URL: www.bionanogenomics.com

      Language: English - Date: 2015-10-05 19:10:07
        249

        Closeup of business woman hand typing on laptop keyboard

        Add to Reading List

        Source URL: 253333548bfb9b2e9c5e-477a03503e3ab72fb9bc4f59abe01c8f.r83.cf2.rackcdn.com

        Language: English - Date: 2015-09-25 15:31:16
          250

          The Logical Approach to Stack Typing Amal Ahmed ∗ David Walker

          Add to Reading List

          Source URL: www.ccs.neu.edu

          Language: English - Date: 2005-08-15 12:37:47
            UPDATE