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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2005
Highly Cited
2005
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
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
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
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
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
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
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
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
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
Studies of the mathematical properties of impredicative polymorphic types have for the most part focused on the polymorphic… (More)
  • figure 1
Is this relevant?