Results 11 to 20 of about 681,398 (337)
Structural Induction Principles for Functional Programmers [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 User defined recursive types are a fundamental feature of modern functional programming languages like Haskell, Clean, and the ML family of languages. Properties of programs defined by recursion on the structure of recursive types are generally proved ...
James Caldwell
doaj +12 more sources
Bricklayer: An Authentic Introduction to the Functional Programming Language SML [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Functional programming languages are seen by many as instrumental to effectively utilizing the computational power of multi-core platforms. As a result, there is growing interest to introduce functional programming and functional thinking as early as ...
Victor Winter
doaj +4 more sources
Polytypic Functions Over Nested Datatypes [PDF]
Discrete Mathematics & Theoretical Computer Science, 1999 The theory and practice of polytypic programming is intimately connected with the initial algebra semantics of datatypes. This is both a blessing and a curse. It is a blessing because the underlying theory is beautiful and well developed.
Ralf Hinze
doaj +1 more source
Genome as a Functional Program [PDF]
Lobachevskii Journal of Mathematics, 2020 We discuss a model of genome as a program with functional architecture and consider the approach to Darwinian evolution as a learning problem for functional programming. In particular we introduce a model of learning for some class of functional programs.
openaire +3 more sources
Functional Choreographic Programming
, 2022 Choreographic programming is an emerging programming paradigm for concurrent and distributed systems, whereby developers write the communications that should be enacted and then a distributed implementation is automatically obtained by means of a compiler. Theories of choreographic programming typically come with strong theoretical guarantees about the
Luís Cruz-Filipe +4 more
openaire +2 more sources
Organization Management Classification Objectives
Современные информационные технологии и IT-образование, 2021 In the article are considered entities classification issues for the purposes of decision-making in commercial companies and also there are offered algorithm and tools for employees efficiency analysis conducting in the context of clients’ requests ...
Imran Magerramov +4 more
doaj +1 more source
Generating Functions for Probabilistic Programs [PDF]
, 2021 This paper investigates the usage of generating functions (GFs) encoding measures over the program variables for reasoning about discrete probabilistic programs. To that end, we define a denotational GF-transformer semantics for probabilistic while-programs, and show that it instantiates Kozen's seminal distribution transformer semantics. We then study
Lutz Klinkenberg +5 more
openaire +5 more sources
Implementing fault tolerant applications using reflective object-oriented programming [PDF]
, 1995 : Shows how reflection and object-oriented programming can be used to ease the implementation of classical fault tolerance mechanisms in distributed applications.
Fabre, Jean-Charles +4 more
core +1 more source
An Equivalent Linear Programming Form of General Linear Fractional Programming: A Duality Approach
Mathematics, 2021 Linear fractional programming has been an important planning tool for the past four decades. The main contribution of this study is to show, under some assumptions, for a linear programming problem, that there are two different dual problems (one linear ...
Mehdi Toloo
doaj +1 more source
How functional programming mattered [PDF]
, 2015 In 1989 when functional programming was still considered a niche topic, Hughes wrote a visionary paper arguing convincingly ‘why functional programming matters’. More than two decades have passed. Has functional programming really mattered? Our answer is
Abelson +121 more
core +1 more source