Strictness Analysis for Higher Order Functions

Míreanna comhchosúla

• The Theory of Strictness Analysis for Higher Order Functions
  de réir: Burn, G, et al.
  Foilsithe / Cruthaithe: (1986)
• A Relational Approach to Strictness Analysis for Higher−Order Polymorphic Functions
  de réir: Abramsky, S, et al.
  Foilsithe / Cruthaithe: (1991)
• Strictness Analysis and Polymorphic Invariance
  de réir: Abramsky, S
  Foilsithe / Cruthaithe: (1986)
• Alternation Is Strict For Higher-Order Modal Fixpoint Logic
  de réir: Florian Bruse
  Foilsithe / Cruthaithe: (2016-09-01)
• Strictly concave and strictly superharmonic functions
  de réir: I. Raşa
  Foilsithe / Cruthaithe: (1986-02-01)