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)

Related topics

Related topics

12 relations
Computer scienceDomain theoryFixed-point combinatorFunctional programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Design of Highly Birefringent and Low-Loss Oligoporous-Core THz Photonic Crystal Fiber With Single Circular Air-Hole Unit
A novel strategy to design a highly birefringent and low loss oligoporous-core THz photonic crystal fiber (PCF) by introducing a… 
2015
2015
Introduction à L. Althusser, Philosophy of the Encounter. Later Writings, 1978-1987, Londres, Verso, Juillet 2006
Redige en 2005 pour introduire un recueil d’ecrits posthumes d’Althusser traduits en langue anglaise, dont « Marx dans ses… 
2014
2014
Innocent Strategies are Sheaves over Plays - Deterministic, Non-deterministic and Probabilistic Innocence
Although the HO/N games are fully abstract for PCF, the traditional notion of innocence (which underpins these games) is not… 
2011
2011
5 G-The Future of Mobile Network
Since the 4G concepts have already moved to the standardization phase, we must begin to work on the building blocks of the… 
Highly Cited
2009
Highly Cited
2009
Temperature-insensitive strain measurement using a birefringent interferometer based on a polarization-maintaining photonic crystal fiber
We propose a novel and simple scheme for a temperature-insensitive strain measurement by using a birefringent interferometer… 
2009
2009
Analysis of Ethernet Powerlink Wireless Extensions Based on the IEEE 802.11 WLAN
The industrial communication scenario is experiencing the introduction of wireless networks at all levels of factory automation… 
2009
2009
CSMAC: A New Centralized Scheduling-Based MAC Protocol for Wireless LAN
Medium Access Control (MAC) is a key issue for the efficiency of IEEE 802.11 wireless local area network. Legacy 802.11 DCF… 
2006
2006
System Design for Information Dissemination in VANETs
In the architectural design of a communication technology the assignment of responsibilities to its different modules or layers… 
2005
2005
Photonic-crystal-fiber pigtail device integrated with lens-duct optics for terahertz radiation coupling
An integrated optics called terahertz (THz) pigtail, which is comprised of an emitter, an optically transparent launching media… 
1998
1998
Robust superpoll protocol for IEEE 802.11 wireless LANs
As wireless local area networks (WLANs) are rapidly deployed to expand the field of wireless products in military settings, the… 
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)