Strictness Analysis for Higher Order Functions

類似資料

• The Theory of Strictness Analysis for Higher Order Functions
  著者:: Burn, G, 等
  出版事項: (1986)
• A Relational Approach to Strictness Analysis for Higher−Order Polymorphic Functions
  著者:: Abramsky, S, 等
  出版事項: (1991)
• Strictness Analysis and Polymorphic Invariance
  著者:: Abramsky, S
  出版事項: (1986)
• Alternation Is Strict For Higher-Order Modal Fixpoint Logic
  著者:: Florian Bruse
  出版事項: (2016-09-01)
• Strictly concave and strictly superharmonic functions
  著者:: I. Raşa
  出版事項: (1986-02-01)