Title: F# Type Providers – Unleashing the Semantic Web with Programming Languages Abstract: The Semantic Web and the Linking Open Data initiative address the need for machine-readable Web content where the Web is no lo

Source URL: iswc2011.semanticweb.org

Regulating data exchange in service oriented applications ? Alessandro Lapadula, Rosario Pugliese and Francesco Tiezzi Dipartimento di Sistemi e Informatica Universit`a degli Studi di Firenze Abstract. We define a type

Source URL: rap.dsi.unifi.it

Mineral resources English version – SOSI standard 4.0 Mineral resources English version – SOSI standard 4.0

Source URL: kartverket.no

• Mathematics
• Algebra
• Abstract algebra
• Universal identifiers
• Complex analysis
• Pi
• Integer
• Number
• Numeral system
• Data type
• 0.999...
• METAR

TRANSFORMING MULTIPLE-RECORD DATA INTO SINGLE-RECORD FORMAT WHEN NUMBER OF VARIABLES IS LARGE. David Izrael, Abt Associates Inc., Cambridge, MA David Russo, Independent Consultant ABSTRACT In one large survey project eac

Source URL: www.ats.ucla.edu

• Software engineering
• Computer programming
• Computing
• Source code
• Type theory
• Holism
• Subroutine
• University of Cambridge Computer Laboratory
• Macro
• Constant
• Variable
• HindleyMilner type system

Deriving Generic Functions by Example Neil Mitchell University of York, UK http://www.cs.york.ac.uk/~ndm/ Abstract. A function is said to be generic if it operates over values of

Source URL: community.haskell.org

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Data types
• Programming language comparisons
• Type theory
• Higher-order functions
• Fold
• Generic programming
• Map
• Type class

Building a Successful Scalable Parallel Numerical Library: Lessons From the PETSc Library William D. Gropp www.cs.uiuc.edu/homes/wgropp

Source URL: wgropp.cs.illinois.edu

• Algebra
• Mathematics
• Numerical linear algebra
• Linear algebra
• Abstract algebra
• Vectors
• Portable
• Extensible Toolkit for Scientific Computation
• Matrix
• Bill Gropp
• Euclidean vector
• Array data type
• Linear map

Representation of Continuous Fields Andrej Vckovski University of Ziirich Winterthurerstr. 190, CH-8057 Ziirich, Switzerland vckovski@gis. geogr. imizh. ch Abstract

Source URL: mapcontext.com

• Computing
• Knowledge
• Information technology
• Fuzzy logic
• Data management
• Data
• Geographic information system
• Fuzzy set
• Statistics
• Set
• Type-2 fuzzy sets and systems
• Geospatial metadata

Introduction to Smalltalk - Chapter 7 - Introduction to Collections  Ivan TomekChapter 7 - Introduction to Collections Overview

Source URL: sdmeta.gforge.inria.fr

• Software engineering
• Computer programming
• Computing
• Abstract data types
• Object-oriented programming languages
• Data types
• Smalltalk
• Foreach loop
• Set
• VisualWorks
• Objective-C
• Array data type

What Is a Collection? • A collection (sometimes called a container) is simply an object that groups multiple elements into a single unit • Collections typically represent data items that form a natural group, like a

Source URL: www.cs.unibo.it

• Software engineering
• Computer programming
• Computing
• Abstract data types
• Java
• Data types
• Iterator
• Object
• C++ Standard Library
• Java collections framework
• Boolean data type
• Sequence container

Mineral resources English version – SOSI standard 4.0 Mineral resources English version – SOSI standard 4.0

Source URL: www.kartverket.no

• Mathematics
• Algebra
• Abstract algebra
• Universal identifiers
• Complex analysis
• Pi
• Integer
• Number
• Numeral system
• Data type
• 0.999...
• METAR