Výsledky vyhledávání - D.1.1 [Programming Techniques] Applicative (functional) programming
-
1
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors D.2.7 [Software Engineering, Design, D.2.13 [Software Engineering, Reusable Software, D.1.1 [Programming Techniques, Applicative (Functional) Programming, D.3.4 [Programming Languages, Processors General Terms Design, Documentation, Languages Keywords Design patterns, Combinator libraries, Generic programming, Program analysis, Program transformation, Functional programming, Strafunski
Popis souboru: application/pdf
-
2
Přispěvatelé: The Pennsylvania State University CiteSeerX Archives
Témata: General Terms Design, Languages Keywords Type-indexed programming, Datatype-generic programming, Representation types, GADT 1. Deriving type-indexed operations
Popis souboru: application/pdf
-
3
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors D.1.1 [Programming Techniques, Applicative (Functional) Programming Keywords
Popis souboru: application/pdf
-
4
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors, D.1.1 [Programming Techniques, Applicative (Functional) Programming, D.1.6 [Programming Techniques, Logic Programming, D.3.3 [Language Classifications, Multiparadigm Languages, I.2.2 [Artificial Intelligence, Automatic Programming—program transformation General Terms, Languages, Performance, Theory Additional Key Words and Phrases, Conditional term-rewriting systems, integration of functional and logic programming, narrowing strategies, partial evaluation
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.58.6018; http://www.dsic.upv.es/users/elp/german/toplas/paper.pdf
-
5
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors D.1.6 [Programming Techniques, Logic Programming, D.1.1 [Programming Techniques, Applicative (Functional) Programming General Terms Languages Keywords miniKanren, variadic, pseudo-variadic, doublepseudo-variadic, Scheme
Popis souboru: application/pdf
-
6
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors D.2.1 [Software Engineering, Requirements/Specifications—Tools, D.3.2 [Programming Languages, Language Classifications—Data-flow languages, D.1.1 [Programming Techniques, Applicative (Functional) Programming General Terms Design, Verification Keywords synchronous language
Popis souboru: application/pdf
-
7
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors D.1.1 [Programming Techniques, Applicative (Functional) Programming, D.2.5 [Software Engineering, Testing and Debugging General Terms Languages, Theory Keywords Laziness, debugging techniques
Popis souboru: application/pdf
-
8
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors D.1.1 [Programming Techniques, Applicative (Functional) Programming, D.2.5 [Software Engineering, Testing and Debugging—Testing tools General Terms Verification Keywords Software Testing, Random Testing
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.360.1275; http://www.cse.chalmers.se/~russo/publications_files/AST2011.pdf
-
9
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors, D.1.1 [Programming Techniques] Applicative (functional) programming, D.3.1 [Programming Languages, Formal Definitions and Theory, D.3.2 [Programming Languages, Language Classifications- Concurrent, distributed, and parallel languages, ML, D.3.3 [Programming Languages, Language Constructs and Features- Concurrent programming structures General Terms, Design, Languages, Theory Keywords, Asynchrony, Concurrent ML, First-Class Events, Composability, Message-Passing
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.409.2953; http://www.cs.purdue.edu/homes/suresh/papers/pldi11.pdf
-
10
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors, D.1.1 [Programming Techniques, Applicative (Functional) Programming, D.2.2 [Software Engineering, Design Tools and Techniques—Software libraries, D.3.2 [Programming Languages, Language Classifications—Specialized application languages, H.3.4 [Information Storage and Retrieval, Systems and Software, I.7.2 [Document and Text Processing, Document Preparation General Terms, Design, Languages Additional Key Words and Phrases, Interactive Web services, Web programming
Popis souboru: application/pdf
-
11
Autoři:
Přispěvatelé:
Témata: Recursion, programming recursive procedures, recursion pattern, inductive definition, BNF grammar, Kleene star, follow the grammar, functional programming, list recursion, programming languages, concrete syntax, abstract syntax, helping procedures, parsing procedures, Oz. 2001 CR Categories, D.1.1 [Programming Techniques] Applicative (Functional) Programming — design, theory, D.2.4 [Software Engineering] Coding Tools and Techniques — design, D.3.1 [Programming
Popis souboru: application/pdf
-
12
Autoři:
Přispěvatelé:
Témata: Recursion, programming recursive procedures, recursion pattern, inductive definition, BNF grammar, Kleene star, follow the grammar, functional programming, list recursion, programming languages, concrete syntax, abstract syntax, helping procedures, parsing procedures, Oz. 2001 CR Categories, D.1.1 [Programming Techniques] Applicative (Functional) Programming — design, theory, D.2.4 [Software Engineering] Coding Tools and Techniques — design, D.3.1 [Programming
Popis souboru: application/pdf
-
13
Autoři: a další
Přispěvatelé: a další
Témata: problem complexity, Non-numerical algorithms and problems, D.1.1 [Programming techniques, Applicative (functional) programming. General Terms, Algorithms, Verification. Key words and phrases, Shapely Functions, Size Analysis, Type Checking, Type Inference, Diophantine equations, Polynomial Interpolation
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.247.5912; http://arxiv.org/pdf/0902.2073v1.pdf
-
14
Autoři: a další
Přispěvatelé: a další
Zdroj: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming ; International Conference on Functional Programming ; https://hal.science/hal-00495903 ; International Conference on Functional Programming, 2009, Edinburgh, United Kingdom. pp.311-316, ⟨10.1145/1631687.1596595⟩
Témata: Ocsigen, Web, Networking, Programming, Implementation, Objective Caml, ML, Services, Typing, Xhtml, Categories and Subject Descriptors: D.1.1 [PROGRAMMING TECHNIQUES]: Applicative (Functional) Programming, H.3.5 [INFORMATION STORAGE AND RETRIEVAL]: Online Information Services—Web-based services. General Terms: Design, Languages, Reliability, Security, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Geografické téma: Edinburgh, United Kingdom
-
15
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors D.1.1 [Programming Techniques, Applicative (Functional) Programming, I.1.1 [Symbolic and Algebraic Manipulation, Expressions and Their Representation General Terms Algorithms, Design, Languages, Theory Keywords Datatype, Differentiation, Dissection, Division, Generic Programming, Iteration, Polynomial, Stack, Tail Recursion, Traversal, Zipper
Popis souboru: application/pdf
-
16
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors, D.1.1 [PROGRAMMING TECHNIQUES, Applicative (Functional) Programming, D.3.1 [PROGRAMMING LANGUAGES, Formal Definitions and Theory, D.3.4 [PROGRAMMING LANGUAGES, Processors, F.3.2 [LOGICS AND MEANINGS OF PROGRAMS, Semantics of Programming Languages—Operational semantics, I.2.2 [ARTIFICIAL INTELLIGENCE, Automatic Programming—Program Transformation, Program Synthesis General Terms, Design, Languages, Theory Additional Key Words and Phrases, Binding-time Analysis, Program Specialization, Regions 1 Work performed while at the Universität Freiburg, Germany
Popis souboru: application/pdf
-
17
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors, C.5 [Computer System Implementation, I.6.5 [Simulation and Modeling, Model Development, D.1.1 [Programming Techniques, Applicative (Functional) Programming, J.6 [Computer-Aided Engineering] General Terms, Design, Languages, Verification Additional Key Words and Phrases, Metamodeling, metamodel, MoC, functional language, denotational semantics, interoperable modeling language, heterogeneous system design, Ptolemy II
Popis souboru: application/pdf
-
18
Autoři:
Přispěvatelé:
Témata: 2001 CR Categories, D.1.1 [Programming Techniques] Applicative (Functional) Programming — design, theory, D.2.4 [Software Engineering] Coding Tools and Techniques — design, D.3.1 [Programming Languages] Formal Definitions and Theory — syntax, D.3.3 [Programming Languages] Language Constructs and Features — recursion
Popis souboru: application/pdf
-
19
Autoři:
Přispěvatelé:
Témata: G.1.3 [Numerical Analysis, Numerical Linear Algebra— linear systems, E.1 [Data Structures, Arrays, D.4.2 [Operating Systems, Storage Management—segmentation, swapping, virtual memory, B.3.2 [Memory Structures, Design Styles—primary memory, D.1.1 [Programming Techniques, Applicative (Functional) Programming, D.1.3 [Programming Techniques, Concurrent Programming—Parallel programming, F.2.1 [Analysis of Algorithms and Problem Complexity, Numerical Algorithms and Problems—computations on matrices, G.4 [Mathematical Software, Algorithm analysis
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.137.6699; http://www.cs.indiana.edu/~dswise/ppopp03.pdf
-
20
Autoři:
Přispěvatelé:
Zdroj: ftp://ftp.cs.iastate.edu/pub/tech_reports/1995/95-05/95-05.ps
Témata: functional programming, physics, currying, teaching, examples. 1994 CR Categories, D.1.1 [Programming Techniques] Applicative (Functional) Programming, J.2 [Physical Sciences and Engineering] Physics, K.3.2 [Computers and
Popis souboru: application/postscript
Nájsť tento článok vo Web of Science