Strictness Analysis and Polymorphic Invariance

Antzeko izenburuak

• A Relational Approach to Strictness Analysis for Higher−Order Polymorphic Functions
  nork: Abramsky, S, et al.
  Argitaratua: (1991)
• Strictness Analysis for Higher Order Functions
  nork: Burn, G, et al.
  Argitaratua: (1986)
• The Theory of Strictness Analysis for Higher Order Functions
  nork: Burn, G, et al.
  Argitaratua: (1986)
• Multi-Head Attentional Point Cloud Classification and Segmentation Using Strictly Rotation-Invariant Representations
  nork: Zhiyong Tao, et al.
  Argitaratua: (2021-01-01)
• Strictly extreme and strictly exposed points
  nork: Jing Hui Qiu, et al.
  Argitaratua: (1994-01-01)