Strictness Analysis and Polymorphic Invariance

Eitemau Tebyg

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