Strictness Analysis for Higher Order Functions

Strictness Analysis for Higher Order Functions

Номзүйн дэлгэрэнгүй
Үндсэн зохиолчид:	Burn, G, Hankin, C, Abramsky, S
Формат:	Conference item
Хэвлэсэн:	1986

Ижил төстэй зүйлс

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)

Strictly concave and strictly superharmonic functions
-н: I. Raşa
Хэвлэсэн: (1986-02-01)

Strict and non-strict inequalities for implicit first order causal differential equations
-н: Bapurao Dhage
Хэвлэсэн: (2011-11-01)

Optimality conditions for strict minimizers of higher-order in semi-infinite multi-objective optimization
-н: Guolin Yu
Хэвлэсэн: (2016-10-01)

Introduction to Abstract Interpretation
-н: Abramsky, S, зэрэг
Хэвлэсэн: (1987)

Ordering Strict Partial Orders to Model Behavioral Refinement
-н: Mathieu Montin, зэрэг
Хэвлэсэн: (2018-10-01)

Higher-order constrained horn clauses for verification
-н: Cathcart Burn, T, зэрэг
Хэвлэсэн: (2017)

A fully abstract denotational semantics for the calculus of higher−order communicating systems
-н: Thomsen, B, зэрэг
Хэвлэсэн: (2001)

On the strictness of the quantifier structure hierarchy in first-order logic
-н: Yuguo He
Хэвлэсэн: (2014-11-01)

Strictly extreme and strictly exposed points
-н: Jing Hui Qiu, зэрэг
Хэвлэсэн: (1994-01-01)

Learning Strictly Local Subsequential Functions
-н: Jane Chandlee, зэрэг
Хэвлэсэн: (2021-03-01)

Row-strict quasisymmetric Schur functions
-н: Sarah K Mason, зэрэг
Хэвлэсэн: (2011-01-01)

Excitations in strict 2-group higher gauge models of topological phases
-н: Alex Bullivant, зэрэг
Хэвлэсэн: (2020-01-01)

On strictly convex and strictly 2-convex 2-normed spaces II
-н: C.-S. Lin
Хэвлэсэн: (1992-01-01)

Strict convexity and complex strict convexity : theory and applications /
-н: 313374 Istratescu , Vasile I.
Хэвлэсэн: (1984)

Strict Monotonicity and Unique Continuation for the Third-Order Spectrum of Biharmonic Operator
-н: Khalil Ben Haddouch, зэрэг
Хэвлэсэн: (2012-01-01)

Strict Solution for a Second Order Differential Equation in Holder Spaces
-н: Youcef Naas, зэрэг
Хэвлэсэн: (2019-11-01)

A Note on Numerical Representations of Nested System of Strict Partial Orders
-н: Dan Qin
Хэвлэсэн: (2021-07-01)

Higher order automatic differentiation of higher order functions
-н: Huot, M, зэрэг
Хэвлэсэн: (2022)

Higher Order Automatic Differentiation of Higher Order Functions
-н: Mathieu Huot, зэрэг
Хэвлэсэн: (2022-03-01)

Strictly in love /
-н: Kynn Latif author
Хэвлэсэн: (2013)

Strictly for Practitioners
-н: JNMA Editorial
Хэвлэсэн: (2003-01-01)

Strict topoligies in non-Archimedean function spaces
-н: A. K. Katsaras
Хэвлэсэн: (1984-01-01)

Integral Inequalities Involving Strictly Monotone Functions
-н: Mohamed Jleli, зэрэг
Хэвлэсэн: (2023-04-01)

Strictly diagonal holomorphic functions on Banach spaces
-н: O.I. Fedak, зэрэг
Хэвлэсэн: (2015-12-01)

Adaptive Fixed-Time Control of Strict-Feedback High-Order Nonlinear Systems
-н: Yang Li, зэрэг
Хэвлэсэн: (2021-07-01)

Generating threads for non-strict functional programming languages
-н: Toutet, Christiana Virginia, 1974-
Хэвлэсэн: (2009)

The Calculation of the Density and Distribution Functions of Strictly Stable Laws
-н: Viacheslav Saenko
Хэвлэсэн: (2020-05-01)

Strict Stability Criteria for Impulsive Functional Differential Systems
-н: Yang Guowei, зэрэг
Хэвлэсэн: (2008-01-01)

Strict finitism refuted?
-н: Magidor, O
Хэвлэсэн: (2007)

‘Strictly dancing’ into health
Хэвлэсэн: (2017-11-01)

Super-Strict Implications
-н: Guido Gherardi, зэрэг
Хэвлэсэн: (2021-03-01)

Schwann cells, but not Oligodendrocytes, Depend Strictly on Dynamin 2 Function
-н: Daniel Gerber, зэрэг
Хэвлэсэн: (2019-01-01)

Meat and fat consumption and cancer mortality: A study of strict religious orders in Britain.
-н: Kinlen, L
Хэвлэсэн: (1982)

Positive Fixed Point of Strict Set Contraction Operators on Ordered Banach Spaces and Applications
-н: Meiqiang Feng, зэрэг
Хэвлэсэн: (2010-01-01)

Factorization of second-order strictly hyperbolic operators with non-smooth coefficients and microlocal diagonalization
-н: Martina Glogowatz
Хэвлэсэн: (2012-08-01)