منابع مشابه
Proofs about a Folklore Let - Polymorphic TypeInference
The Hindley/Milner let-polymorphic type inference system has two diierent algorithms: one is the de facto standard Algorithm W that is bottom-up (or context-insensitive), and the other is a \folklore" algorithm that is top-down (or context-sensitive). Because the latter algorithm has not been formally presented with its soundness and completeness proofs, and its relation with the W algorithm ha...
متن کاملTheoretical Pearl: A simple proof of a folklore theorem about delimited control
We formalize and prove the folklore theorem that the static delimited-control operators shift and reset can be simulated in terms of the dynamic delimited-control operators control and prompt. The proof is based on small-step operational semantics.
متن کاملA history of erotic philosophy.
This essay historically explores philosophical views about the nature and significance of human sexuality, starting with the Ancient Greeks and ending with late 20th-century Western philosophy. Important figures from the history of philosophy (and theology) discussed include Sappho, Plato, Aristotle, St. Augustine, St. Jerome, the Pelagians, St. Thomas Aquinas, Michel de Montaigne, Rene Descart...
متن کاملImplementing digital folklore collections
In this paper, we present a metadata model to describe the digitized digital folklore collection of the Department of Greek Studies in the University of Athens. Folklore collection consists of different kinds of digitized material. The volume and the variety of material results to collection representation as a hierarchical structure, according to the type of objects, the corresponding chronolo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Folklorica
سال: 2010
ISSN: 1920-0242,1920-0234
DOI: 10.17161/folklorica.v3i2.3674