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…

2005

This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space…

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