On Contract Satisfaction in a Higher-Order World

ACM Transactions on Programming Languages and Systems - United States
doi 10.1145/2039346.2039348
Full Text
Abstract

Available in full text

Categories
Software
Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Size-Change Termination as a Contract: Dynamically and Statically Enforcing Termination for Higher-Order Programs

2019English

On Higher-Order Invariants in Extended Supergravity

Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics
High Energy PhysicsNuclear
1979English

Contract Lecturers Are a Growing Yet Precarious Population in Higher Education

Physics Today
AstronomyPhysics
2018English

Higher-Order Containers

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

On Ambitious Higher-Order Theories of Consciousness

Philosophical Psychology
PhilosophyApplied Psychology
2020English

Work Engagement, Psychological Contract Breach and Job Satisfaction

International Journal of Human Resource Management
ManagementOrganizational BehaviorHuman Resource ManagementStrategyInnovationManagement of Technology
2014English

Higher-Order Uncertainty

2019English

Higher Order Operations

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1963English

Development of Higher Education in a Globalized World

Demography and social economy
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy