Linear type system - PDFSEARCH.IO - Document Search Engine

Linear type system
Results: 27

#	Item
1	79 Documenta Math. A Lambda-Graph System for the Dyck Shift and Its K-Groups Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2003-09-02 16:53:41 Algebra Mathematics Linear algebra Matrix theory Combinatorics on words Symbolic dynamics Markov processes Subshift of finite type Jordan normal form Eigenvalues and eigenvectors Shift space Vertex operator algebra
2	Modelling Unique and Affine Typing using Polymorphism Edsko de Vries Abstract. Uniqueness typing and affine (or linear) typing are dual type systems. Uniqueness gives a guarantee that an term has not been shared, Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Type theory Data types Software engineering Object-oriented programming Computing Polymorphism Functional programming Type system Subtyping Symbol Uniqueness type
3	A Linear Type System for Multicore Programming ∗ Rui Shi1 and Hongwei Xi2 1 2 Yahoo! Inc. Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-06-30 14:02:33
4	Wall Mount Horn/Strobe Low Profile Evacuation Horn/Strobe: VF4002-10 USCG Type ApprovedA53/0 www.Fireboy-Xintex.com Add to Reading List Source URL: www.fireboy-xintex.com Language: English - Date: 2015-04-28 02:12:01 Linear regulator Fire alarm control panel Fire alarm system
5	Reverse Execution With Constraint Solving Raluca Sauciuc George Necula Electrical Engineering and Computer Sciences Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-05-12 14:29:36 Declarative programming Satisfiability Modulo Theories Type system Prolog Symbolic execution Linear programming Theoretical computer science Software engineering Constraint programming
6	The Entropy of Linear Cellular Automata with Respect to Any Bernoulli Measure Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-06-20 13:21:02 Mathematics Information theory Thermodynamics Statistical theory Randomness Topological entropy Entropy Measure-preserving dynamical system Subshift of finite type Ergodic theory Statistics Thermodynamic entropy
7	The LIR Domain Decomposition System applied to Cartesian Grids July 12, 2012 We introduce a novel multi-dimensional domain decomposition method. A new type of tree combines the advantages of the octree and the Add to Reading List Source URL: www-hagen.cs.uni-kl.de Language: English - Date: 2014-05-22 09:33:44 Decomposition method CW complex Numerical linear algebra Algebra Mathematics Constraint programming
8	SSVAn Abstract Specification Language for Static Program Analysis Michael Vistein Frank Ortmeier Wolfgang Reif Lehrstuhl f¨ Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2011-08-18 01:13:32 Mathematical logic Computing NuSMV XML Static single assignment form Model checking Linear temporal logic Computation tree logic Type system Theoretical computer science Temporal logic Logic in computer science
9	In addition to the type of uncertainty just discussed, there is a matter of uncertainty in the placement of features on a map. As discussed in the sections under “Uncertainty” above, it is assumed here that this unce Add to Reading List Source URL: www.rerf.or.jp Language: English - Date: 2011-09-30 03:56:35 Econometrics Estimation theory Parametric statistics World file Linear regression Standard error Errors and residuals in statistics Least squares Geographic information system Statistics Regression analysis Cartography
10	Inferred Interface Glue: Supporting Language Interoperability with Static Analysis by Tristan Ravitch Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2013-09-07 16:19:46 Data types Subroutines Type theory Procedural programming languages Pointer Type system Parameter GNU Linear Programming Kit Finalizer Software engineering Computing Computer programming