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… (More)
Wikipedia

Related topics

Related topics

12 relations
Computer scienceDomain theoryFixed-point combinatorFunctional programming
(More)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2005
Highly Cited
2005
Electrically tunable photonic bandgap guidance in a liquid-crystal-filled photonic crystal fiber
Tunable bandgap guidance is obtained by filling the holes of a solid core photonic crystal fiber with a nematic liquid crystal… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2005
Highly Cited
2005
A multi-channel VANET providing concurrent safety and commercial services
In this paper, we propose a medium access control (MAC) protocol to support the multi-channel operation for dedicated short range… (More)
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Adaptive cross-layer protection strategies for robust scalable video transmission over 802.11 WLANs
Robust streaming of video over 802.11 wireless local area networks poses many challenges, including coping with bandwidth… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Performance evaluation of IEEE 802.11e
This paper presents an evaluation of the QoS enhancements to the IEEE 802.11 standard, named IEEE 802.11e, currently under… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Coexistence Mechanisms for Interference Mitigation between IEEE 802.11 WLANs and Bluetooth
Different wireless systems sharing the same frequency band and operating in the same environment are likely to interfere with… (More)
  • figure 1
  • figure 2
  • table I
  • table II
  • figure 3
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Evaluation of Quality of Service Schemes for IEEE 802.11 Wireless LANs
This paper evaluates four mechanisms for providing service differentiation in IEEE 802.11 wireless LANs, the Poin t Coordinator… (More)
  • figure 1
  • figure 3
  • figure 2
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Highly birefringent index-guiding photonic crystal fibers
Photonic crystal fibers (PCFs) offer new possibilities of realizing highly birefringent fibers due to a higher intrinsic index… (More)
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1999
Highly Cited
1999
A Priority Scheme for IEEE 802.11 DCF Access Method
IEEE 802.11 is a standard for wireless LANs. The basic access method in its MAC layer protocol is the distributed coordination… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 6
  • figure 7
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Performance modeling of asynchronous data transfer methods of IEEE 802.11 MAC protocol
To satisfy the needs of wireless data networking, study group 802.11 was formed under IEEE project 802 to recommend an… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Parametric polymorphism and operational equivalence
Studies of the mathematical properties of impredicative polymorphic types have for the most part focused on the polymorphic… (More)
  • figure 1
Is this relevant?