Skip to search formSkip to main contentSkip to account menu

Programming Computable Functions

Known as: PCF, Programming language for Computable Functions, Programming with Computable Functions 
In computer science, Programming Computable Functions, or PCF, is a typed functional language introduced in an unpublished 1969 manuscript by Dana… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Redige en 2005 pour introduire un recueil d’ecrits posthumes d’Althusser traduits en langue anglaise, dont « Marx dans ses… 
2012
2012
The varieties of studies in the literature have been addressed by the researchers to solve security dilemmas of Mobile Ad-Hoc… 
2011
2011
Since the 4G concepts have already moved to the standardization phase, we must begin to work on the building blocks of the… 
2010
2010
Highly nonlinear birefringent Photonic Crystal Fibre (PCF) that exhibits low losses and small effective mode area across a wide… 
Highly Cited
2009
Highly Cited
2009
We propose a novel and simple scheme for a temperature-insensitive strain measurement by using a birefringent interferometer… 
2009
2009
The industrial communication scenario is experiencing the introduction of wireless networks at all levels of factory automation… 
2005
2005
An integrated optics called terahertz (THz) pigtail, which is comprised of an emitter, an optically transparent launching media… 
1999
1999
In this work we present a model for the Carrier Sense Multiple Access with Collision Avoidance (CSMA/CA) protocol according to… 
1998
1998
As wireless local area networks (WLANs) are rapidly deployed to expand the field of wireless products in military settings, the…