Purely functional programming

Known as: Purely functional language, Purely functional programming language, Pure functional language

In computer science, purely functional programming usually designates a programming paradigm—a style of building the structure and elements of…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2015

There is a semantic gap between the hardware definition languages used to design and implement hardware and the languages and…

2012

This dissertation discusses several problems loosely related, because they all involve a verification condition generator. The…

2006

This article demonstrates how a powerful and expressive abstraction from concurrency theory—monads of resumptions—plays a dual…

1999

Formal approaches to HW and system design have not been generally adopted because designers often view the modelling concepts in…

1998

1996

1992

Simon Peyton Jones GRIP is a shared-memory multiprocessor designed for efficient parallel evaluation of functional languages…

1992

A semiconductor wafer is provided with a plurality of semiconductor pellets arranged in rows and columns in a checkered pattern…

1990

1990

This paper considers the problems of debugging large programs written in a pure functional style by experienced functional…