Filters








48,007 Hits in 4.0 sec

Deriving Law-Abiding Instances [article]

Ryan Scott, Vikraman Choudhury, Ryan Newton, Niki Vazou, Ranjit Jhala
2017 arXiv   pre-print
Law-Abiding Instances We used our approach to derive law-abiding instances of the above type classes for data types of Identity, Maybe, Either, List, and Triple as defined in table 2.  ...  Law-Abiding Type Classes We start with an overview of our approach for deriving class instances that are verified to satisfy class laws.  ...  instance (VerifiedOrd (f p), VerifiedOrd (g p)) ⇒ VerifiedOrd ((f :*: g) p) where refl = leqProdRefl antisym = leqProdAntisym trans = leqProdTrans total = leqProdTotal A.2 Full VerifiedOrd instance for  ... 
arXiv:1708.02328v1 fatcat:3fxnrebwsrbu5avzzdgg2ejtnq

Page 326 of The American Journal of International Law Vol. 55, Issue 2 [page]

1961 The American Journal of International Law  
The exemption in such instances is based, not upon fate or the ‘‘laws of nature’’ (‘‘natural law’’) of ‘‘absolute impossibility,’’ but upon another concept of ‘‘natural law’’: either a ‘‘law’’ derived  ...  in the light of which it would appear grossly unfair to exact law-abidance from a person acting under such pressures.  ... 

Page 274 of Journal of Personality Vol. 7, Issue 4 [page]

1939 Journal of Personality  
to be law-abiding.  ...  Instead, the scores derived are merely the scale position on the continuum of law-abidingness at which the subject’s statement concerning his behavior fell.  ... 

Searle on Institutional Obligation

David–Hillel Ruben, Sherwood J. B. Sugden
1972 The Monist  
For instance, consider the following. Thcre is a rule in Ireland, 'Drive on the Idt hand side of the road'.  ...  undertaken to abide, he is forced to go the way of consent theorists in political 5. "How to Derive an 'ought' From 'is'," p. 113. Acts, p. 190.  ... 
doi:10.5840/monist197256428 fatcat:kh6xzdheyzbsljg3b2vaxrl3pq

Page 509 of Social Studies Review Vol. 27, Issue 8 [page]

1936 Social Studies Review  
Nature was assumed to be strictly law-abiding, and the founders of modern physical science—Galileo, Kepler, Newton—agreed with the teleological theologians at least in this, that they attributed the semblance  ...  For after w erved the resemblance in a sufficient number of instances, we immediately eel a det na f the mind to pass from one object to its usual attendant. . . . The several  ... 

Page 388 of American Veterinary Medical Association. Journal of the American Veterinary Medical Association Vol. 45, Issue [page]

1914 American Veterinary Medical Association. Journal of the American Veterinary Medical Association  
and abide by it.  ...  or prepara- tion thereof, except in the few instances exempted, no matter in what proportion or composition or on what occasion so dispensed.  ... 

Page 650 of Political Studies Vol. 33, Issue 4 [page]

1985 Political Studies  
Rawls’s distinction between civil and other types of disobedience derives from his general definition of civil disobedience as, ‘disobedience to law within fidelity to law’.* Whilst we can agree, however  ...  Our disobedient civil servant, for example, may have a genuine commitment to the preservation of the existing legal and political system evidenced by the generally law-abiding nature of his conduct, so  ... 

Page 46 of Edinburgh Review: Critical Journal Vol. 199, Issue 407 [page]

1904 Edinburgh Review: Critical Journal  
link of affinity abides.  ...  Instances of such prohibitions can be indefinitely multiplied, and, trivial as they may seem. Folklore has taught us that, though to  ... 

Page 46 of Edinburgh Review: Critical Journal Vol. 199, Issue 407 [page]

1904 Edinburgh Review: Critical Journal  
link of affinity abides.  ...  Instances of such prohibitions can be indefinitely multiplied, and, trivial as they may seem, Folklore has taught us that, though to  ... 

Page 530 of The Historical Journal Vol. 25, Issue 3 [page]

1982 The Historical Journal  
Community of property, for instance, was according to natural law in this sense, as was individual liberty.  ...  If the king failed to abide by these conditions power would revert to the people. The Catholic theory of resistance is, then, grounded on their account of the origins of government.  ... 

Page 50 of Harvard Law Review Vol. 33, Issue 1 [page]

1919 Harvard Law Review  
Before the armistice there had been only two instances of actual refusal to abide by the decision of the board.  ...  | | j | 50° HARVARD LAW REVIEW board were steadily increasing, despite its early slowness in getting under way.  ... 

Page 179 of Harvard Law Review Vol. 5, Issue 4 [page]

1891 Harvard Law Review  
rights, deriv- ative in their nature and based on its peculiar remedies.!  ...  To estimate the importance of these additions, without which our law would be a very different thing from what it is, it is only necessary to consider, as a single instance, the enormous reach of the purely  ... 

Page 442 of Harvard Law Review Vol. 59, Issue 3 [page]

1946 Harvard Law Review  
under foot, but also that they deliberately planned to use and did use assurances of adherence to their in- ternational obligations as political soporifics to lull the law-abid- ing nations into a false  ...  general terms of the Nazi crimes, without specifically excluding the parent crime of a war of aggression which made possible the numerous murders, rapes, thefts and other derivative crimes; and one at  ... 

Page 188 of Political Studies Vol. 12, Issue 2 [page]

1964 Political Studies  
The Romans and Spartans were the most law-abiding people in the ancient world, making it inevitable, Harrington insisted, for their soldiers to excel above all others. ... the Heathen Politicians have  ...  And where by the lusts or passions of men, a power is set above that of Law deriving from reason which is the dictate of God; God in that sense is rejected or deposed, that He should reign over them as  ... 

Page 366 of IDSA Journal Vol. 3, Issue 3 [page]

1971 IDSA Journal  
from theory, and principally so from the universal law of class-struggle.  ...  Furthermore, according to another funda- mental law, the law of contradictions the inherent antagonistic class-relationship between socialism and imperialism represents the Universal Contradiction which  ... 
« Previous Showing results 1 — 15 out of 48,007 results