An Interactive Interpreter for Two Dimensional Lucid by Omar Alaqeeli, William Wadge

Subjects: “…Functional programming…”
Get full text

The Revised Revised Report on Scheme or An Uncommon Lisp by Clinger, William

Subjects: Get full text

Bridging the algorithm gap: A linear-time functional program for paragraph formatting by de Moor, O, Gibbons, J

Verifying Higher−Order Functional Programs with Pattern Matching Algebraic Data Types by Ong, C, Ramsay, S

Bridging the Algorithm Gap: A Linear−Time Functional Program for Paragraph Formatting by de Moor, O, Gibbons, J

Verifying higher-order functional programs with pattern-matching algebraic data types by Ong, C, Ramsay, S

“…Type-based model checking algorithms for higher-order recursion schemes have recently emerged as a promising approach to the verification of functional programs.We introduce pattern-matching recursion schemes (PMRS) as an accurate model of computation for functional programs that manipulate algebraic data-types. …”

Verifying Higher-Order Functional Programs with Pattern-Matching Algebraic Data Types by Ong, C, Ramsay, S, ACM

“…Type-based model checking algorithms for higher-order recursion schemes have recently emerged as a promising approach to the verification of functional programs.We introduce pattern-matching recursion schemes (PMRS) as an accurate model of computation for functional programs that manipulate algebraic data-types. …”

The Role of Programming in the Formulation of Ideas by Sussman, Gerald Jay, Wisdom, Jack

Subjects: Get full text

Planning of Labor Costs for Creation and Development of State Information Systems and Their Functional Program Complexes by Vladimir Nikolaevich Naumov, Dmitry Viktorovich Kucherenko

“…The article considers the means of planning labor expenditures for the creation and development of state information systems and their functional program complexes. To assess the importance and priority of project implementation, the method of KANO needs satisfaction is considered. …”
Get full text

Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala by Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli

Get full text

Functional C / by 410906 Hartel, Pieter, Muller, Henk

Subjects:

F# for C# developers / by Liu, Tao

Subjects:

A Mathematica-Based Interface for the Exploration of Inter- and Intra-Regional Financial Flows by Kyriaki Tsilika

Subjects: Get full text

Enabling Processing Power Scalability with Internet of Things (IoT) Clusters by Jorge Coelho, Luís Nogueira

Subjects: Get full text

Obviously Synchronizable Series Expressions: Part I: User's Manual for the OSS Macro Package by Waters, Richard C.

Subjects: “…functional programming…”
Get full text

Optimization of Series Expressions: Part II: Overview of the Theory and Implementation by Waters, Richard C.

Subjects: Get full text

Optimization of Series Expressions: Part I: User's Manual for the Series Macro Package by Waters, Richard C.

Subjects: “…functional programming…”
Get full text

Structural foundations for differentiable programming by Huot, M

Subjects:

Functional and object oriented analysis and design : an integrated methodology / by 219349 Shoval, Peretz

Subjects:

Identification of a novel cord blood NK cell subpopulation expressing functional programmed death receptor-1 by Marco Greppi, Valentina Obino, Rayan Goda, Federico Rebaudi, Simona Carlomagno, Simona Carlomagno, Mariella Della Chiesa, Simona Sivori, Simona Sivori, Gianluca Ubezio, Vanessa Agostini, Alessandra Bo, Silvia Pesce, Emanuela Marcenaro, Emanuela Marcenaro

Get full text