Suchergebnisse - "D.1.1 [Programming Techniques] Applicative (functional) programming"
-
1
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: 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
-
2
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
3
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
4
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
5
Autoren:
Weitere Verfasser:
Quelle: ftp://ftp.cs.iastate.edu/pub/tech_reports/1995/95-05/95-05.ps
Schlagwörter: 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
Dateibeschreibung: application/postscript
-
6
Autoren: et al.
Weitere Verfasser: et al.
Quelle: 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⟩
Schlagwörter: 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]
Geographisches Schlagwort: Edinburgh, United Kingdom
-
7
Autoren: et al.
Weitere Verfasser: et al.
Quelle: 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⟩
Schlagwörter: Xhtml, Typing, Services, ML, Objective Caml, Implementation, Programming, Networking, Web, Ocsigen, 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]
Geographisches Schlagwort: Edinburgh, United Kingdom
-
8
Autoren:
Weitere Verfasser:
Quelle: Proceedings of the 2008 ACM SIGPLAN workshop on ML ; Workshop on ML ; https://hal.science/hal-00495983 ; Workshop on ML, 2008, Victoria, Canada. pp.3-12, ⟨10.1145/1411304.1411307⟩
Schlagwörter: Thread, Concurrency, Networking, Programming, Implementation, Monad, Objective Caml, ML, Categories and Subject Descriptors: D.1.1 [PROGRAMMING TECHNIQUES]: Applicative (Functional) Programming, D.1.3 [PROGRAMMING TECHNIQUES]: Concurrent Programming, D.3.3 [PROGRAMMING LANGUAGES]: Language Constructs and Features—Concurrent programming struct, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Geographisches Schlagwort: Victoria
Time: Victoria, Canada
-
9
Autoren:
Weitere Verfasser:
Quelle: Proceedings of the 2008 ACM SIGPLAN workshop on ML ; Workshop on ML ; https://hal.archives-ouvertes.fr/hal-00495983 ; Workshop on ML, 2008, Victoria, Canada. pp.3-12, ⟨10.1145/1411304.1411307⟩
Schlagwörter: Thread, Concurrency, Networking, Programming, Implementation, Monad, Objective Caml, ML, Categories and Subject Descriptors: D.1.1 [PROGRAMMING TECHNIQUES]: Applicative (Functional) Programming, D.1.3 [PROGRAMMING TECHNIQUES]: Concurrent Programming, D.3.3 [PROGRAMMING LANGUAGES]: Language Constructs and Features—Concurrent programming struct, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Geographisches Schlagwort: Victoria
Time: Victoria, Canada
Relation: hal-00495983; https://hal.archives-ouvertes.fr/hal-00495983
Nájsť tento článok vo Web of Science