Výsledky vyhľadávania - d.1.1 [programming techniques] applications (functional) programming

An embedded domain-specific language for type-safe server-side web-scripting

Autori: Peter Thiemann The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Peter Thiemann The Pennsylvania State University CiteSeerX Archives

Zdroj: http://eecs.harvard.edu/~nr/cs252r/archive/peter-thiemann/embedded-toit.pdf.

Predmety: 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 súboru: application/pdf

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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.129.989
http://eecs.harvard.edu/~nr/cs252r/archive/peter-thiemann/embedded-toit.pdf

Enforcing strict model-view separation in template engines

Autori: Terence Parr The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Terence Parr The Pennsylvania State University CiteSeerX Archives

Zdroj: http://danieljomphe.github.io/assets/mvc.templates-annotated.pdf.

Predmety: Categories and Subject Descriptors D.3.4 [Programming Languages, Processors—Code generation, D.2.11 [Software Engineering, Software Architectures—Domain- specific architectures, Patterns, Languages, D.1.1 [Programming Techniques, Applicative (Functional) Programming General Terms Languages Keywords Template engines, Web applications, Model-View-Controller

Popis súboru: application/pdf

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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.580.509
http://danieljomphe.github.io/assets/mvc.templates-annotated.pdf

Graphical Definitions: Expanding Spreadsheet Languages through Direct Manipulation and Gestures

Autori: Margaret M. Burnett Herkimer J. Gottfried The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Margaret M. Burnett Herkimer J. Gottfried The Pennsylvania State University CiteSeerX Archives

Zdroj: ftp://ftp.cs.orst.edu/pub/burnett/TOCHI.gestures.pdf

Predmety: Categories and Subject Descriptors, D.1.1 [Programming Techniques, Applicative (Functional) Programming, D.1.7 [Programming Techniques, Visual Programming, D.3.3 [Programming Languages, Language Constructs and Features—abstract data types, data types and structures, H.4.1 [Information Systems Applications, Office Automation—spreadsheets General Terms, Design, Human Factors, Languages Additional Key Words and Phrases, Direct manipulation, Forms/3, Gestures, Programming by

Popis súboru: application/pdf

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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.9215

Experience report : Ocsigen, a web programming framework

Autori: Balat, Vincent Vouillon, Jérôme Yakobowski, Boris a ďalší

Prispievatelia: Balat, Vincent Vouillon, Jérôme Yakobowski, Boris a ďalší

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⟩

Predmety: 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

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

AFAX: Rich client/server web applications in F#

Autori: Tomáš Petříček Don Syme The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Tomáš Petříček Don Syme The Pennsylvania State University CiteSeerX Archives

Zdroj: http://tomasp.net/fswebtools/files/fswebtoolkit-ml.pdf.

Predmety: Categories and Subject Descriptors D.1.1 [Programming techniques, Applicative (Functional) Programming General Terms Languages

Popis súboru: application/pdf

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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.138.4167
http://tomasp.net/fswebtools/files/fswebtoolkit-ml.pdf

Composable Asynchronous Events

Autori: Lukasz Ziarek Kc Sivaramakrishnan Suresh Jagannathan a ďalší

Prispievatelia: Lukasz Ziarek Kc Sivaramakrishnan Suresh Jagannathan a ďalší

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

Predmety: 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 súboru: 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

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

Clowns to the left of me, jokers to the right (pearl): dissecting data structures

Autori: Conor Mcbride The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Conor Mcbride The Pennsylvania State University CiteSeerX Archives

Zdroj: https://personal.cis.strath.ac.uk/conor.mcbride/Dissect.pdf.

Predmety: 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 súboru: application/pdf

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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.379.1832

WWW 2009 MADRID! Track: Semantic/Data Web / Session: Semantic Data Management Rapid Prototyping of Semantic Mash-Ups through Semantic Web Pipes

Autori: Danh Le-phuoc Axel Polleres Manfred Hauswirth a ďalší

Prispievatelia: Danh Le-phuoc Axel Polleres Manfred Hauswirth a ďalší

Zdroj: http://www2009.org/proceedings/pdf/p581.pdf.

Predmety: D.1.1[Programming Techniques, Applicative (Functional) Programming, H.4.0[Information Systems Applications] General Terms, Algorithms, Design Keywords, RDF, Pipes, Semantic Web, Mash-up

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.215.6565; http://www2009.org/proceedings/pdf/p581.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.215.6565
http://www2009.org/proceedings/pdf/p581.pdf

Design Patterns for Functional Strategic Programming

Autori: Ralf Lämmel Joost Visser The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Ralf Lämmel Joost Visser The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cwi.nl/~ralf/dp-sf.pdf.

Predmety: 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 súboru: application/pdf

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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.4354
http://www.cwi.nl/~ralf/dp-sf.pdf

1Cheap Deforestation in Practice: An Optimiser for Haskell

Autori: Andrew J Gill Simon L Peyton Jonesa The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Andrew J Gill Simon L Peyton Jonesa The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.ittc.ku.edu/~andygill/papers/cheap-deforestation-opt.pdf.

Predmety: D.1.1, I.1.4 Keywords, Programming Techniques, Applicative (Functional) Programming, Algebraic Manipulation, Applications

Popis súboru: application/pdf

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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.582.9284
http://www.ittc.ku.edu/~andygill/papers/cheap-deforestation-opt.pdf

System Presentation – Functional Reactive Robotics: An Exercise in Principled Integration of Domain-Specific Languages ABSTRACT

Autori: Izzet Pembeci Henrik Nilsson Gregory Hager a ďalší

Prispievatelia: Izzet Pembeci Henrik Nilsson Gregory Hager a ďalší

Zdroj: http://www.ida.liu.se/~henni/Publications/ppdp2002.pdf.

Predmety: D.1.1 [Programming Techniques, Applicative (Functional) Programming General Terms Languages, Design Keywords Functional Programming, Robotics, Vision, Domain-Specific Languages

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.66.4431; http://www.ida.liu.se/~henni/Publications/ppdp2002.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.66.4431
http://www.ida.liu.se/~henni/Publications/ppdp2002.pdf

Programming macro tree transducers

Autori: Patrick Bahr Laurence E. Day The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Patrick Bahr Laurence E. Day The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.pa-ba.info/pubs/files/bahr13wgp-paper.pdf.

Predmety: Categories and Subject Descriptors D.1.1 [Programming Techniques, Applicative (Functional) Programming Keywords

Popis súboru: application/pdf

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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.431.5087
http://www.pa-ba.info/pubs/files/bahr13wgp-paper.pdf

Partial Evaluation of Functional Logic Programs

Autori: Maria Alpuente Moreno Falaschi German Vidal a ďalší

Prispievatelia: Maria Alpuente Moreno Falaschi German Vidal a ďalší

Zdroj: http://www.dsic.upv.es/users/elp/german/toplas/paper.pdf.

Predmety: 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 súboru: 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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.58.6018
http://www.dsic.upv.es/users/elp/german/toplas/paper.pdf

A Rule-Based Language for Programming Software Updates

Autori: Martin Erwig Deling Ren The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Martin Erwig Deling Ren The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.orst.edu/~erwig/papers/HULA_RULE02.pdf.

Predmety: Categories and Subject Descriptors D.1.1 [Programming Techniques, Functional Programming, D.1.2 [Programming Techniques, Automatic Programming, D.2.7 [Software Engineering, Maintenance, F.3.1 [Logics and Meanings of Programs, Reasoning about Programs General Terms Design, Languages, Reliability Keywords Update program, type change, type correctness, update safey

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.64.7177; http://www.cs.orst.edu/~erwig/papers/HULA_RULE02.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.64.7177
http://www.cs.orst.edu/~erwig/papers/HULA_RULE02.pdf

of Programs]: Semantics of Programming Languages General Terms Languages

Prispievatelia: The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.informatik.uni-kiel.de/~mh/publications/papers/WCFLP05.pdf.

Predmety: Categories and Subject Descriptors D.1.1 [Programming Techniques, Applicative (Functional) Programming, D.1.6 [Programming Techniques, Logic Programming, D.2.6 [Software Engineering, Programming Environments, F.3.2 [Logics and Meanings

Popis súboru: application/pdf

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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.69.9704
http://www.informatik.uni-kiel.de/~mh/publications/papers/WCFLP05.pdf

Lwt: a cooperative thread library

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

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

Predmety: 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

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

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

Prispievatelia: The Pennsylvania State University CiteSeerX Archives

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

Predmety: General Terms Design, Languages Keywords Type-indexed programming, Datatype-generic programming, Representation types, GADT 1. Deriving type-indexed operations

Popis súboru: application/pdf

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

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

D.P.: From variadic functions to variadic relations: A miniKanren perspective

Autori: William E. Byrd Daniel P. Friedman The Pennsylvania State University CiteSeerX Archives

Prispievatelia: William E. Byrd Daniel P. Friedman The Pennsylvania State University CiteSeerX Archives

Zdroj: http://scheme2006.cs.uchicago.edu/12-byrd.pdf.

Predmety: 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 súboru: application/pdf

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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.111.3144
http://scheme2006.cs.uchicago.edu/12-byrd.pdf

Author manuscript, published in 'FMICS (2005) 27-34' DOI:10.1145/1081180.1081185 Flush: A System Development Tool Based on Scade/Lustre

Autori: Paul Caspi The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Paul Caspi The Pennsylvania State University CiteSeerX Archives

Zdroj: http://hal.archives-ouvertes.fr/docs/00/46/61/70/PDF/f23-mikac.pdf.

Predmety: 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 súboru: application/pdf

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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.404.4592
http://hal.archives-ouvertes.fr/docs/00/46/61/70/PDF/f23-mikac.pdf

Lazy Call-By-Value Evaluation

Autori: Bernd Braßel Sebastian Fischer Michael Hanus a ďalší

Prispievatelia: Bernd Braßel Sebastian Fischer Michael Hanus a ďalší

Zdroj: http://www.informatik.uni-kiel.de/~mh/publications/papers/ICFP07.pdf.

Predmety: 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 súboru: application/pdf

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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.67.7799
http://www.informatik.uni-kiel.de/~mh/publications/papers/ICFP07.pdf