Strong typing - PDFSEARCH.IO - Document Search Engine

Strong typing
Results: 23

#	Item
1	The F# 3.0 Language Specification Note: This documentation is the specification of the 3.0 release of F# made by Microsoft Research and the Microsoft Developer Division in SeptemberDiscrepancies may exist between Add to Reading List Source URL: fsharp.org Language: English - Date: 2016-08-15 16:34:27 Software engineering Computer programming Computing Functional languages F Sharp Strong and weak typing Type system Expression C Operator Pattern matching C Sharp syntax
2	The F# 3.1 Language Specification Note: This documentation is the specification of the 3.1 release of F# for releases and updates made inDiscrepancies may exist between this specification and the 3.1 implementa Add to Reading List Source URL: fsharp.org Language: English - Date: 2016-08-15 16:34:27 Software engineering Computer programming Computing Functional languages F Sharp Strong and weak typing Type system C Expression Operator Recursion C Sharp syntax
3	The F# 2.0 Language Specification Note: This documentation is the specification of the 2.0 release of F# made by Microsoft Research and the Microsoft Developer Division in AprilDiscrepancies may exist between this Add to Reading List Source URL: fsharp.org Language: English - Date: 2016-08-15 16:34:27 Functional languages Type systems Type theory F Sharp Microsoft Research Strong and weak typing Expression C Operator Pattern matching C Sharp syntax
4	JavaScript on Java EE Markus Eisele, @myfear Developer Advocate September, 2014 Add to Reading List Source URL: 2014.jokerconf.com Language: English - Date: 2015-02-28 17:19:49 Computing Software engineering Computer programming Cross-platform software Concurrent programming languages Type theory Object-oriented programming languages Type systems Strong and weak typing JavaScript Java Go
5	At Red Hat, we have a content services department that is about sixty people strong. Even though the department is pretty big these days, back when I started with the company, we were still trying to work out the best wa Add to Reading List Source URL: lanabrindley.com Language: English - Date: 2011-06-13 04:55:05 Communication DocBook Topic-based authoring Single source publishing Darwin Information Typing Architecture Technical communication Technology Computing
6	A dynamic virtual machine for the support of interoperable programming languages J. Baltasar García Perez-Schofield Francisco Ortín Soler Add to Reading List Source URL: bergel.eu Language: English - Date: 2010-06-09 14:53:04 Cross-platform software Type theory Programming language Strong typing Type system D Python Late binding C++ Software engineering Computing Computer programming
7	A Haskell Roadshow Joachim Breitner January 20th 2011 Features Add to Reading List Source URL: www.joachim-breitner.de Language: English - Date: 2014-10-06 15:51:37 Functional languages Type theory Haskell Functional programming Type system Lazy evaluation Type inference Pure Strong typing Software engineering Programming language theory Computing
8	EUROPEAN ORGANIZATION FOR NUCLEAR RESEARCH The F Programming Language Ralph Frisbie Ventura College, Ventura, CA Richard Hendrickson Add to Reading List Source URL: www.fortran.com Language: English - Date: 2002-08-03 20:57:50 Data types Type theory Procedural programming languages Array data type Type system C Array programming New Strong typing Software engineering Computing Computer programming
9	Type Systems Luca Cardelli Digital Equipment Corporation Systems Research Center 1 Introduction Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 1997-01-06 09:33:32 Programming language theory Data types Type system Strong typing Type inference Programming language Pointer Typing environment Ada Software engineering Computing Type theory
10	Abstract A Type-Preserving Compiler Infrastructure Christopher Adam League Many kinds of networked devices receive and execute new programs from various sources. Since we may not fully trust the producers of these progra Add to Reading List Source URL: contrapunctus.net Language: English - Date: 2012-03-13 13:00:12 Cross-platform software Type theory Procedural programming languages Java bytecode Type system Java Programming language C Strong typing Computing Software engineering Software