[PDF][PDF] An overview of Miranda

D Turner - ACM Sigplan Notices, 1986 - dl.acm.org
Miranda is an advanced functiona| programming system … to give a brief overview of the
main features of Miranda. The … As final examples we give the definitions of two Miranda library …

[PDF][PDF] An overview of Miranda

DA Turner - Research Topics in Functional Programming. Addison …, 1990 - Citeseer
Miranda is an advanced functional programming system which runs under the UNIX operating
system1. The aim of the Miranda … a brief overview of the main features of Miranda. The …

[PDF][PDF] An overview of algebraic surfaces

R Miranda - LECTURE NOTES IN PURE AND APPLIED …, 1997 - researchgate.net
… The intention of the lectures was to give a quick overview of the classi cation of algebraic
surfaces. In the rst lecture a brief digest of the general theory is given, concentrating on the …

[BOOK][B] The Miranda debate: Law, justice, and policing

RA Leo, GC Thomas - 1998 - books.google.com
… One of the most significant and influential judicial decisions on criminal procedure, Miranda
… pre-Miranda law of confessions, Ernest Miranda's crime and his victim, the Miranda decision, …

Miranda at 50: A Psychological Analysis

L Smalarz, KC Scherr… - Current Directions in …, 2016 - journals.sagepub.com
… the Miranda Court, we describe research assessing the extent to which suspects (a) “knowingly”
comprehend the warnings used to communicate their Miranda … research on Miranda to …

Miranda: A non-strict functional language with polymorphic types

DA Turner - … on Functional Programming Languages and Computer …, 1985 - Springer
… The basic ideas of Miranda are closely modelled on those of … for tackling large problems
Miranda adds to this foundation (i) a … we offer the following Miranda expression, which searches …

An overview of Calanus helgolandicus ecology in European waters

…, A Albaina, ND Yahia, SF Umani, A Miranda… - Progress in …, 2005 - Elsevier
We review current knowledge and understanding of the biology and ecology of the calanoid
copepod Calanus helgolandicus in European waters, as well as provide a collaborative …

Anthraquinones: an overview

G Diaz-Munoz, IL Miranda, SK Sartori… - Studies in natural …, 2018 - Elsevier
Anthraquinones are a class of abundant compounds obtained from natural sources, being
common in different organisms, such as bacteria, fungi, plants, and some animals. Plants are …

Plain talk about the Miranda empirical debate: a steady-state theory of confessions

GC Thomas III - UCLA L. Rev., 1995 - HeinOnline
… proof of a Miranda effect on the confession rate. Part III examines the Miranda studies from
the … Then I include all the post-1969 Miranda studies in a single analysis and, finally, examine …

Mourning Miranda

CD Weisselberg - Calif. L. Rev., 2008 - HeinOnline
… that have weakened Miranda's protections. The first Part of this Article explains the Miranda
Court's several holdings. To understand how the application of Miranda has evolved in …