Amanote Research

Amanote Research

    RegisterSign In

System F With Coercion Constraints

doi 10.1145/2603088.2603128
Full Text
Open PDF
Abstract

Available in full text

Date

January 1, 2014

Authors
Julien CretinDidier Rémy
Publisher

ACM Press


Related search

Credible Coercion

SSRN Electronic Journal
2004English

A Flexible Simulation System for Scheduling With Various Constraints.

Journal of Chemical Engineering of Japan
ChemistryChemical Engineering
1996English

Coercion as Homomorphism

2002English

Resource Management in Real Time Distributed System With Security Constraints

International Journal of Distributed Systems and Technologies
HardwareComputer NetworksArchitectureCommunications
2011English

Consecutive -Within--Out-Of-:F System With Nonidentical Components

Mathematical Problems in Engineering
MathematicsEngineering
2012English

End Coercion in Mental Health Services—Toward a System Based on Support Only

Laws
2019English

The Economics of Labor Coercion

Econometrica
EconomicsEconometrics
2011English

Designing Control System of Hypersonic Vehicle With Dynamic Pressure Constraints Considered

Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University
Engineering
2019English

Coercion, Competence, and Consent in Offenders With Personality Disorder

Psychology, Crime and Law
Forensic MedicinePathologyLawPsychology
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy