IMD VersionInstalling IMD 1.1 System Requirements IMD is written in the IDL scientific programming language, and will run on any platform supported by IDL. Little or no IDL expertise is required to use IMD.

Source URL: www.rxollc.com

TOPO VersionInstalling TOPO 1.1 System Requirements TOPO is written in the IDL scientific programming language, and will run on any platform supported by IDL. While most TOPO routines are intended for use in your

Source URL: www.rxollc.com

Cg: A system for programming graphics hardware in a C-like language William R. Mark∗ R. Steven Glanville† The University of Texas at Austin∗

Source URL: pl887.pairlitesite.com

SPECIAL SECTION DISTRIBUTED PROGRAMMING IN ARGU!S Argus-a programming language and system developed to support the implementation and execution of distributed programs-provides mechanisms that help programmers cope with

Source URL: www.cs.utah.edu

Practical Optional Types for Clojure Ambrose Bonnaire-Sergeant† , Rowan Davies*, Sam Tobin-Hochstadt† Indiana University†; Omnia Team, Commonwealth Bank of Australia* {abonnair,samth}@indiana.edu, Rowan.Davies@cba.

Source URL: frenchy64.github.io

• Software engineering
• Computing
• Computer programming
• Functional languages
• Concurrent programming languages
• Programming languages
• Procedural programming languages
• Cross-platform software
• Clojure
• Multiple dispatch
• Type system
• Dynamic programming language

Telefonica Research System for the Spoken Web Search task at Mediaeval 2012 Xavier Anguera Telefonica Research Edificio Telefonica - DiagonalBarcelona, Spain

Source URL: ceur-ws.org

• Computational linguistics
• Dynamic programming
• Dynamic time warping
• Time series analysis
• Natural language processing
• Information science
• Information retrieval
• Artificial intelligence
• Computing
• Speech recognition

A Type-Theoretic Interpretation of Standard ML Robert Harper and Christopher Stone frwh, School of Computer Science Carnegie Mellon University

Source URL: www.cs.cmu.edu

• Software engineering
• Programming language theory
• Computer programming
• Type theory
• Procedural programming languages
• Functional languages
• Logic in computer science
• Programming language semantics
• Standard ML
• Denotational semantics
• Monad
• Type system

� EMAPS : AN EXTENDABLE, OBJECT-ORIENTED GIS Stephen M. Ervin, Associate Professor Department of Landscape Architecture Harvard University Graduate School of Design

Source URL: mapcontext.com

• Software engineering
• Computer programming
• Computing
• Data types
• Lisp
• Functional languages
• Object-oriented programming languages
• Geographic information system
• Object-oriented programming
• Cons
• Frame language
• Cellular automaton

PML : A new proof assistant and deduction system Christophe Raffalli LAMA

Source URL: www.lama.univ-savoie.fr

• Type theory
• Theoretical computer science
• Mathematical logic
• Programming language theory
• Lambda calculus
• Formal methods
• Logic in computer science
• CurryHoward correspondence
• HindleyMilner type system
• Simply typed lambda calculus
• Type system
• Proof assistant

Fuzzing the Rust Typechecker Using CLP Kyle Dewey Jared Roesch Ben Hardekopf

Source URL: jroesch.github.io

• Software engineering
• Type theory
• Computing
• Programming language theory
• Type system
• CurryHoward correspondence
• Typed lambda calculus
• Simply typed lambda calculus
• Type rule
• Type safety
• Typing environment
• Go