Declarative - PDFSEARCH.IO - Document Search Engine

Declarative
Results: 769

#	Item
81	Sonic Partial Deduction Jonathan Martin and Michael Leuschel Declarative Systems and Software Engineering Group Technical Report DSSE-TR-99-3 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:04 Mathematics Logic Functions and mappings Mathematical logic Logic programming Automated theorem proving Append Functional programming Lisp Unfolding Substitution Atomic formula
82	New Wave KRR: Rulelog-based Deep Reasoning with NLP for Financial Regulatory Compliance and More Benjamin Grosof* Coherent Knowledge Presentation (30-min.) Add to Reading List Source URL: ijcai-16.org Language: English - Date: 2016-07-22 16:57:54** Software engineering Logic Declarative programming Reasoning Programming paradigms Model theory Logical connectives Logic programming Prolog Datalog HiLog XSB
83	02157 Functional Programming - Lecture 3: Lists Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-01-17 15:47:17 Software engineering Computer programming Declarative programming Functional languages Higher-order functions Programming language comparisons Append Functional programming Lisp Technical University of Denmark Map MRH
84	Friends with Benefits Implementing Foundational Corecursion in Proof Assistants Jasmin Christian Blanchette Aymeric Bouzy Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-07-18 12:57:54 Declarative programming Software engineering Computer programming Functional programming Theoretical computer science Category theory Recursion Type theory Corecursion Symbol Stream Constructible universe
85	Foundational Extensible Corecursion A Proof Assistant Perspective Jasmin Christian Blanchette Andrei Popescu Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-02-11 10:23:52 Software engineering Computer programming Declarative programming Recursion Theoretical computer science Functional programming Category theory Subroutines Corecursion Fold Coinduction Tail call
86	Practical Reflection in Nuprl Eli Barzilay Stuart Allen Robert Constable Add to Reading List Source URL: barzilay.org Language: English - Date: 2003-03-26 22:21:47 Software engineering Programming language theory Declarative programming Automated theorem proving Logic programming Type theory Lambda calculus Formal methods Higher-order abstract syntax Nuprl Lisp Substitution
87	Nordic Journal of Computing ON INTRODUCING HIGHER ORDER FUNCTIONS IN ABEL BJØRN KRISTOFFERSEN Department of Mathemathics and Informatics Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Software engineering Computer programming Declarative programming Type theory Data types Functional programming Higher-order functions Object-oriented programming Subtyping Fold Map Function
88	Comparing Datatype Generic Libraries in Haskell Alexey Rodriguez Yakushev Johan Jeuring Patrik Jansson Alex Gerdes Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2011-06-24 04:56:27 Software engineering Declarative programming Computing Data types Functional languages Type theory Functional programming Generic programming Dependently typed programming Generalized algebraic data type ATS Haskell
89	SHORT REPORT A quantitative investigation of the imperative-and-declarative construction in English GREGORY SCONTRAS Harvard University Add to Reading List Source URL: tedlab.mit.edu Language: English - Date: 2012-08-09 14:56:50 Grammatical moods Grammar Syntax Linguistics Conditionals English conditional sentences Imperative mood IAd Bias Copula Irrealis mood
90	A Supercompiler for Core Haskell Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy ev Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Mathematics Declarative programming Lambda calculus Functional programming Functions and mappings Let expression Embedding Monad Anonymous function

UPDATE