type
RSS typeType Isomorphisms Simplify XML Programming
White Paper Programming with a type-safe binding such as the Haskell-XML data binding is even worse. To address this problem, rather than employing binding customizations, the paper exploits the theory of type... [04 Dec 2008]
C++0x Automates Type Deduction With Auto
White Paper Instead of tediously writing the type of a variable when one declares it, a C++0x compiler will deduce the variable's type automatically simply by looking at its initializer - if one ask it to. Problem:... [22 Dec 2008]
Adding Type Constructor Parameterization to Java
White Paper The paper presents a generalization of Java's parametric polymorphism that enables parameterization of classes and methods by type constructors, i.e.functions from types to types. They describe and motivate their... [01 Feb 2009]
Orange smart phone promises "3G-type services before 3G"
News Orange last night launched its SPV smart phone, a device based on Microsoft's Smartphone 2002 operating system and one which it says will allow "3G-type services before 3G". Orange has ordered 200,000 of the devices -... [23 Oct 2002]
MSDN Webcast: SQL Server 2005 Essentials (Part 08 of 14): The XML Data Type (Level 200)
White Paper A new type of data has gained popularity in recent years, XML has evolved from a simple data transfer format to a data storage format that includes its own schema-definition vocabulary, eXtensible Schema Definition... [31 Dec 2008]
Distributed Attacks Denial of Service Type: Nature of These Attacks and Defense Against Them
White Paper According to statistical information, published by SANS institute (System Administration, Networking and Security), one of the most critical and devastating classes of computer attacks is that of the (Distributed Denial of Service)... [20 Jun 2009]
A Typed Hybrid Description Logic Programming Language With Polymorphic Order-Sorted DL-Typed Unification for Semantic Web Type Systems
White Paper In this paper, the author elaborates on a specific application in the context of hybrid description logic programs (hybrid DLPs), namely description logic Semantic Web type systems (DL-types) which are used for term... [18 Dec 2008]
Java Type Inference Is Broken: Can We Fix It?
White Paper Java 5 introduced a number of sophisticated features, including a major extension to the type system. While the technical details of these new features are complex, much of this complexity is hidden from the typical Java... [09 Jan 2009]
A Type-Theoretic Foundation for Programming With Higher-Order Abstract Syntax and First-Class Substitutions
White Paper The paper presents a novel type-theoretic foundation based on contextual modal types which allows one to recursively analyze open terms via higher-order pattern matching. Higher-Order Abstract Syntax (HOAS) is a simple,... [09 Jan 2009]
A Note on Statistically Detecting Tampered Type Attacks
White Paper An adversary may delete or insert packets into a normal communication data series in e-business systems to destroy information integrity to produce deserters (likely informal, this paper uses the term tamped type attacks... [20 Jun 2009]
UUXML: A Type-Preserving XML Schema - Haskell Data Binding
White Paper This paper discusses a type-preserving XML - Haskell data binding that handles documents typed by the W3C XML Schema standard. The paper also shows a program in Generic Haskell that constructs parsers specialized to a... [03 Dec 2008]
Use Automatic Formatting as You Type
White Paper By selecting certain automatic formatting options, the 2007 Microsoft Office system programs can automatically format certain kinds of text as one type, such as automatically replacing a typed hyphen (-) with a dash (-). [16 Apr 2008]
XML Data Type Support in ADO.NET 2.0: Handling XML From SQL Server 2005
White Paper One of the quantum changes in Microsoft SQL Server 2005 is the inclusion of the XML data type. This data type is a first class type, just like INT or VARCHAR, and SQL Server 2005 allows... [05 Oct 2007]
MSDN Architecture Webcast: Designing a New Work Item Type Definition and Form (Level 200)
White Paper At any point in the software development lifecycle, an organization may need to change the data they are gathering, or gather a new type of data altogether. Work items are used to capture everything from requirements to... [22 Jun 2007]
Searching Documents Based on Relevance and Type
White Paper This paper extends previous work on document retrieval and document type classification, addressing the problem of 'Typed search'. Specifically, given a query and a designated document type, the search... [23 May 2007]
