Declarative - PDFSEARCH.IO - Document Search Engine

Declarative
Results: 769

#	Item
71	All-Termination(SCP) Aaron Turon Northeastern University (joint work with Pete Manolios) Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2010-01-10 16:47:21 Declarative programming Software engineering Computer programming Functional programming Lisp Perl XS Cons Recursion
72	Metacomputation: MST plus SCP Valentin F. Turchin The City College of New York First of all, I want to thank the organizers of this seminar for inviting me Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:37 Software engineering Computer programming Declarative programming Functional programming Functional languages Refal Metacompilation Functions and mappings Pattern matching Closure Function Monad
73	AjaxTags 1. Overview This project has the goal of adding AJAX (Asynchronous Javascript+XML) functionality to the existing Struts HTML taglib, and providing a declarative method for using the functionality. The basic idea Add to Reading List Source URL: struts.sourceforge.net Language: English - Date: 2006-03-02 03:41:48 Computing Java enterprise platform Software engineering Software Apache Struts 1 Ajax
74	Declarative Systems for Large-Scale Machine Learning Vinayak Borkar1 , Yingyi Bu1 , Michael J. Carey1 , Joshua Rosen2 , Neoklis Polyzotis2 , Tyson Condie3 , Markus Weimer3 and Raghu Ramakrishnan3 1 University of Californ Add to Reading List Source URL: asterixdb.ics.uci.edu Language: English - Date: 2013-06-06 20:04:49 Computing Concurrent computing Parallel computing Distributed computing architecture Cluster computing Hadoop Java platform MapReduce Apache Spark Data-intensive computing Datalog Mathematical optimization
75	Metamodel-independent modularisation of models with MetaMod∗ Ana Maria Sutîi ¸ Tom Verhoeff Add to Reading List Source URL: womencourage.acm.org Language: English - Date: 2016-08-09 09:14:04 Software engineering Programming paradigms Computing Systems engineering Unified Modeling Language Systems science Domain-specific language Abstraction Metamodeling Aspect-oriented software development Modularity Declarative programming
76	Type-Based Reasoning about Efficiency D. Seidel∗ J. Voigtl¨ander Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Software engineering Type theory Declarative programming Computer programming Functional programming Data types Polymorphism Object-oriented programming Map Parametric polymorphism Constructible universe
77	Advances in Programming Languages APL9: Monads and I/O Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-02-10 19:35:24 Software engineering Computer programming Declarative programming Functional programming Data types Type theory Monad Option type Type class Map ALGOL 68 Functor
78	1 CrowdOp: Query Optimization for Declarative Crowdsourcing Systems Ju Fan, Meihui Zhang, Stanley Kok, Meiyu Lu, and Beng Chin Ooi Abstract—We study the query optimization problem in declarative crowdsourcing systems. Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2015-03-19 06:59:18 Data management Computing Software Database management systems SQL Mathematical optimization Operations research Database theory Query optimization Query plan Crowdsourcing Multi-objective optimization
79	Designing and Implementing a Framework for BDI-style Communicating Agents in Haskell (Position Paper) Alessandro Solimando and Riccardo Traverso? Dipartimento di Informatica e Scienze dell’Informazione, Università di Add to Reading List Source URL: verify.disi.unige.it Language: English - Date: 2012-11-14 14:09:06 Declarative programming Software engineering Computer programming Functional programming Monad Arrow Type class Haskell Pattern matching Multi-agent system Beliefdesireintention software model Haskell features
80	Supero: Making Haskell Faster Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Higher-order functions Programming language comparisons Functional languages Recursion Literate programming Fold Haskell Map XS

UPDATE