Typeof - PDFSEARCH.IO - Document Search Engine

Typeof
Results: 43

#	Item
1	Patterns (define-macro (checked-app e1 e2) #:with (→ τ1 τ2) (typeof e1) #:with τ1-arg (typeof e2) #:when (τ=? τ1-arg τ1) #:with e1’ (erase e1) Add to Reading List Source URL: con.racket-lang.org - Date: 2016-09-18 15:16:52
2	PDF Document Add to Reading List Source URL: atifaziz.github.io Language: English - Date: 2016-01-16 06:25:05 Computing JSON Remote procedure call Web services Data Ajax Typeof Jayrock Copyright Is-a
3	Multiple dispatch Axel Rauschmayer 2ality.com Add to Reading List Source URL: dl.2ality.com Language: English - Date: 2012-12-03 03:24:17 Method Object-oriented programming Multiple dispatch Dynamic dispatch Visitor pattern Polymorphism Generic function Typeof This Inheritance Dispatch
4" title="3. RDFa HTML for the human and RDF annotation for the machine – from the example document we just saw: Fig. 1 " class="img-responsive img-polaroid">	3. RDFa HTML for the human and RDF annotation for the machine – from the example document we just saw: Fig. 1 Add to Reading List Source URL: wiki.ivoa.net Language: English - Date: 2016-05-10 11:13:43 Computing Semantic Web World Wide Web Consortium Data HTML Resource Description Framework Metadata publishing RDFa Typeof HTML element Web resource Select
5	1" Metaprogramming in .NET Kevin Hazzard and Jason Bock Text Template Transformation Toolkit T4 has become quite popular in recent years thanks to a number of factors, most importantly the adoption of Add to Reading List Source URL: freecontent.manning.com Language: English - Date: 2015-06-08 21:34:36 Microsoft Visual Studio Template engines Integrated development environments Object-oriented programming languages Cross-platform software Typeof Text Template Transformation Toolkit Foreach loop T4 ASP.NET D C++
6	Value Sensitivity and Observable Abstract Values for Information Flow Control Luciano Bello1 , Daniel Hedin1,2 , and Andrei Sabelfeld1 1 Chalmers University of Technology Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-09-18 08:04:23 Data types Type theory Typeof Variable High Speed 2 Information flow Dynamical system Monad Type system Operator
7	Inference and Checking of Object Ownership Wei Huang1 , Werner Dietl2 , Ana Milanova1 , and Michael D. Ernst2 1 Rensselaer Polytechnic Institute Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2013-11-07 13:53:07 Software engineering Type theory Programming language theory Computing Subtyping Type system System F HindleyMilner type system ML Type inference Typeof Is-a
8	db4o lightning talk --FOSDEM 2007 Jb Evain jb at \| db4o.com \| nurv.fr Add to Reading List Source URL: archive.fosdem.org Language: English - Date: 2012-01-09 13:58:11 NoSQL Binary trees Native Queries Typeof T-tree Object database Set Tree Data management Computing Db4o
9	Verifying Higher-order Programs with the Dijkstra Monad Nikhil Swamy1 Joel Weinberger2 Cole Schlesinger3 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-03-21 00:10:15 Semantics HTML Model theory Predicate logic Subroutines Typeof Foreach loop Tree traversal H1 Computing Software engineering Logic
10	JAVA - INHERITANCE http://www.tutorialspoint.com/java/java_inheritance.htm Copyright © tutorials point.com Inherit ance can be defined as t he process where one object acquires t he propert ies of anot her. Wit h Add to Reading List Source URL: www.tutorialspoint.com Language: English - Date: 2015-04-27 04:48:38 Object-oriented programming Cross-platform software Java Typeof Inheritance Computing Software engineering Computer programming