Skip to search formSkip to main contentSkip to account menu

Journal of Functional Programming

Known as: JFP 
The Journal of Functional Programming is a peer-reviewed scientific journal covering the design, implementation, and application of functional… 
Wikipedia (opens in a new tab)

Related topics

Related topics

14 relations
Abstract rewriting machineArvind (computer scientist)Calkin–Wilf treeComputer science

Broader (1)

Functional programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2015
Review
2015
Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection
Spreadsheets are widely used, yet are error-prone. In particular, they use a weak type system, which allows certain operations… 
2012
2012
Constructing Applicative Functors
Applicative functors define an interface to computation that is more general, and correspondingly weaker, than that of monads… 
2010
2010
Branding Awareness and Willingness-to-pay Associated with the Texas Superstar™ and Earth-Kind™ Brands in Texas
The environmental horticulture industry, also known as the Green Industry, is the second most important sector in the U.S… 
2008
2008
EXPLORING A NATIONAL PRACTICE- BASED REGISTER FOR THE MANAGEMENT OF RHEUMATOID ARTHRITIS
Rheumatoid arthritis (RA) is a chronic, inflammatory, auto-immune disease with an unpredictable and debilitating course. From… 
2008
2008
Proving Quadratic Derivational Complexities Using Context Dependent Interpretations
In this paper we study context dependent interpretations, a semantic termination method extending interpretations over the… 
2007
2007
THE TYPE SERIES OF ‘SINEMYS’WUERHOENSIS, A PROBLEMATIC TURTLE FROM THE LOWER CRETACEOUS OF CHINA, INCLUDES AT LEAST THREE TAXA
Abstract:  We re‐examine the type series of ‘Sinemys’wuerhoensis Yeh (at least 20 specimens, including several shells and skulls… 
2007
2007
On Two Extensions of Abstract Categorial Grammars
The abstract categorial grammars (ACGs, for short) are a type-theoretic grammatical formalism intended for the description of… 
1996
1996
Type systems for object-oriented programming languages
Object-oriented programming languages (OOPL's) provide important support for today's large-scale software projects. Unfortunately… 
Highly Cited
1991
Highly Cited
1991
Parallel programming using functional languages
It has been argued for many years that functional programs are well suited to parallel evaluation. This thesis investigates this… 
1975
1975
Polar sets and Palm measures in the theory of flows
Given a flow (St), t real, over a probability space 0, we prove that certain measures on 0 (viewed as the state space of the flow… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)