Výsledky vyhledávání - "D.1.1 [Programming Techniques] Applicative (Functional) Programming"

Categories and Subject Descriptors D.1.1 [Programming Techniques]: Applicative (Functional) Programming

Přispěvatelé: The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.seas.upenn.edu/~sweirich/RepLib/haskell08-weirich.pdf.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.75.6326

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.75.6326
http://www.seas.upenn.edu/~sweirich/RepLib/haskell08-weirich.pdf

Composable Asynchronous Events

Autoři: Lukasz Ziarek Kc Sivaramakrishnan Suresh Jagannathan a další

Přispěvatelé: Lukasz Ziarek Kc Sivaramakrishnan Suresh Jagannathan a další

Zdroj: http://www.cs.purdue.edu/homes/suresh/papers/pldi11.pdf.

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.409.2953
http://www.cs.purdue.edu/homes/suresh/papers/pldi11.pdf

BY: ✐

Autoři: Gary T. Leavens The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Gary T. Leavens The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.eecs.ucf.edu/~leavens/tech-reports/UCF/CS-TR-07-10/TR.pdf.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.159.5054

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.159.5054
http://www.eecs.ucf.edu/~leavens/tech-reports/UCF/CS-TR-07-10/TR.pdf

Following the Grammar

Autoři: Gary T. Leavens The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Gary T. Leavens The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.eecs.ucf.edu/~leavens/COP4020/docs/follow-grammar.pdf.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.136.1658

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.136.1658
http://www.eecs.ucf.edu/~leavens/COP4020/docs/follow-grammar.pdf

Following the Grammar

Autoři: Gary T. Leavens The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Gary T. Leavens The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.iastate.edu/~cs342/docs/follow-grammar.pdf.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.115.1190

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.115.1190
http://www.cs.iastate.edu/~cs342/docs/follow-grammar.pdf

A Physical Example For Teaching Curried Functions

Autoři: Gary T. Leavens The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Gary T. Leavens The Pennsylvania State University CiteSeerX Archives

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.51.9088

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.51.9088

Experience report : Ocsigen, a web programming framework

Autoři: Balat, Vincent Vouillon, Jérôme Yakobowski, Boris a další

Přispěvatelé: Balat, Vincent Vouillon, Jérôme Yakobowski, Boris 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

Dostupnost: https://hal.science/hal-00495903
https://doi.org/10.1145/1631687.1596595

Lwt: a cooperative thread library

Autoři: Vouillon, Jérôme Preuves, Programmes et Systèmes (PPS) Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)

Přispěvatelé: Vouillon, Jérôme Preuves, Programmes et Systèmes (PPS) Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)

Zdroj: 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⟩

Témata: 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]

Geografické téma: Victoria

Time: Victoria, Canada

Dostupnost: https://hal.science/hal-00495983
https://doi.org/10.1145/1411304.1411307

System F-omega with Equirecursive Types for Datatype-Generic Programming.

Autoři: Cai, Yufei Giarrusso, Paolo G. Ostermann, Klaus

Zdroj: ACM / SIGPLAN Notices; Jan2016, Vol. 51 Issue 1, p30-43, 14p

Embedding a Full Linear Lambda Calculus in Haskell.

Autoři: Polakow, Jeff

Zdroj: ACM / SIGPLAN Notices; Dec2015, Vol. 50 Issue 12, p177-188, 12p

Functional Pearl: Getting a Quick Fix on Comonads.

Autoři: Foner, Kenneth

Zdroj: ACM / SIGPLAN Notices; Dec2015, Vol. 50 Issue 12, p106-117, 12p

Formally Proving a Compiler Transformation Safe.

Autoři: Breitner, Joachim

Zdroj: ACM / SIGPLAN Notices; Dec2015, Vol. 50 Issue 12, p35-46, 12p

Interactive Realizers: A New Approach to Program Extraction from Nonconstructive Proofs.

Autoři: Berardi, Stefano De'Liguoro, Ugo

Zdroj: ACM Transactions on Computational Logic; Apr2012, Vol. 13 Issue 2, p11:1-11:21, 21p

Témata: ARITHMETIC, INTERACTIVE learning, THEORY of knowledge, HERMENEUTICS, COMPUTER programming, TRANSLATING & interpreting

Automated Termination Proofs for Haskell by Term Rewriting.

Autoři: Giesl, Jürgen Raffelsieper, Matthias Schneider-Kamp, Peter a další

Zdroj: ACM Transactions on Programming Languages & Systems; Mar2011, Vol. 33 Issue 2, p7-7:39, 39p

Témata: REWRITING systems (Computer science), DOCUMENT markup languages, HASKELL (Computer program language), POLYMORPHIC projection (Cartography), AUTOMATIC programming (Computer science), AUTOMATIC theorem proving, SOFTWARE verification, FUNCTIONAL programming (Computer science)

On Isomorphisms of Intersection Types.

Autoři: Dezani-Ciancaglini, Mariangiola Di Cosmo, Roberto Giovannetti, Elio a další

Zdroj: ACM Transactions on Computational Logic; Jul2010, Vol. 11 Issue 4, p25:1-25:24, 24p, 1 Diagram, 2 Charts

Témata: ISOMORPHISM (Mathematics), GROUP theory, MATHEMATICAL models, MATHEMATICAL optimization, MATHEMATICS education

Sequent Calculi and Abstract Machines.

Autoři: ARIOLA, ZENA M. BOHANNON, AARON SABRY, AMR

Zdroj: ACM Transactions on Programming Languages & Systems; May2009, Vol. 31 Issue 4, p13:1-13:48, 48p, 47 Diagrams

Témata: COMPUTER programming, PROGRAMMING languages, LAMBDA calculus, MATHEMATICAL logic, MACHINE theory, ISOMORPHISM (Mathematics), CURRY-Howard isomorphism

Transformational design of an interactive component straddling communication streams.

Autoři: Dosch, Walter

Zdroj: Journal of Computational Methods in Sciences & Engineering; 2006 Supplement 1, Vol. 6 Issue 5, p91-107, 17p, 2 Diagrams, 1 Chart

Témata: PROGRAM transformation, STREAMING technology, DATA transmission systems, TECHNICAL specifications, SYSTEMS design

Combinator Parsers: From Toys to Tools

Autoři: S. Doaitse Swierstra The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: S. Doaitse Swierstra The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.nott.ac.uk/~gmh/papers/18.ps.

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.7601; http://www.cs.nott.ac.uk/~gmh/papers/18.ps

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.7601
http://www.cs.nott.ac.uk/~gmh/papers/18.ps

Constructor-based Conditional Narrowing

Autoři: Sergio Antoy The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Sergio Antoy The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.pdx.edu/~antoy/homepage/./papers/ppdp01-A/paper.ps.gz.

Témata: Algorithms, Languages, Performance, Theory Keywords Functional Logic Programming Languages, Rewrite Systems, Narrowing

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.20.8483

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.20.8483
http://www.cs.pdx.edu/~antoy/homepage/./papers/ppdp01-A/paper.ps.gz

Deriving Backtracking Monad Transformers

Autoři: Ralf Hinze The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Ralf Hinze The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.informatik.uni-bonn.de/~ralf/ICFP00.ps.gz.

Témata: monads, monad transformers, backtracking

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.4164

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.4164
http://www.informatik.uni-bonn.de/~ralf/ICFP00.ps.gz