Fact-checked by Grok 2 weeks ago
References
-
[1]
[PDF] Epigram: Practical Programming with Dependent TypesEpigram is a dependently typed functional programming language. On the sur- face, the system is an integrated editor-typechecker-interpreter for the language,.
-
[2]
The view from the left | Journal of Functional ProgrammingJan 14, 2004 · The view from the left. Published online by Cambridge University Press: 14 January 2004. CONOR MCBRIDE and.
-
[3]
[PDF] EpigramJun 15, 2007 · Epigram. Page 5. Versions / history. Epigram 1 (+/- 2004). By Conor McBride (Univ. of Nottingham), James McKinna. (Univ. of St Andrews). Design ...
-
[4]
Conor McBrideThis makes a marvellous noise, but also Epigram, the interactive dependently typed functional language which James McKinna and I designed, in colour, ere we ...
-
[5]
[PDF] Epigram Reloaded: - James ChapmanAbstract Epigram, a functional programming environment with dependent types, interacts with the programmer via an extensible high level language of program-.
-
[6]
[PDF] FUNCTIONAL PEARL A type-correct, stack-safe, provably correct ...Epigram (McBride & McKinna, 2004), a kernel language for dependently-typed programming, supports Dybjer's notion of inductive families (Dybjer, 1994) as its ...
-
[7]
[PDF] IDRIS — Systems Programming Meets Full Dependent TypesIDRIS is an experimental functional programming language with dependent types, similar to Agda [25] or Epigram [7, 21]. ... typed language can affect what we know ...
-
[8]
Epigram - Etymology, Origin & MeaningEpigramme, from mid-15c. Old French and Latin epigramma, originates from Greek epigramma meaning "inscription." It means a short, witty poem with a clever ...
-
[9]
EPIGRAM Definition & Meaning - Merriam-WebsterAncient Greeks and Romans used the word epigramma (from Greek epigraphein, meaning "to write on") to refer to a concise, witty, and often satirical verse.
-
[10]
Epigram, Greek | Oxford Classical DictionaryAn epigram was originally nothing more than an inscription on an object or monument to say whose it is or who made it, who dedicated it to which god, or who is ...
- [11]
- [12]
-
[13]
The epigram in England, 1590–1640 on JSTORIts hallmarks are witty sharpness and brevity (argutia and brevitas), and individual human behaviour is its prime subject. Some, usually directed toward named ...
-
[14]
[PDF] A Critical Appreciation of the Amatory Epigrams of DioscoridesThe amatory epigrams of Dioscorides have been largely ignored by scholars. The bulk of the comment that his erotic poems have received has concerned the ...
-
[15]
What Is an Epideictic Epigram? - jstorThe present paper questions the validity of the term 'epideictic epigram', which many modern scholars use without explaining what they mean by it.Missing: moral amatory
-
[16]
GENERIC AMBIGUITY AND “TENDENTIOUS” HUMOR IN ... - jstorThe word “epigram” itself, which literally means “text written upon,” bespeaks its material origins. Tombstones and consecrated objects bearing dedicatory ...Missing: amatory | Show results with:amatory
-
[17]
Chapter Four A SHORT HISTORY OF THE BYZANTINE EPIGRAM ...In late antique epigrams, on the contrary, the elegiac distich is the norm, the dactylic hexameter an option, and the iamb an exception. This rapidly changes ...
-
[18]
Aphorism Exploded - jstorThough he distinguishes the aphor- ism from proverbs, maxims, and epigrams, it is equally valid, he suggests, to collapse all of these forms under the name ' ...
-
[19]
Epigram: Definition and Examples | LiteraryTerms.netThere are a few slight differences between aphorisms and epigrams. For one, epigrams are often in verse form, whereas aphorisms are not. A second difference ...
- [20]
-
[21]
Simonides: Epigrams and Elegies - David SiderPresents the only text and commentary covering all the epigrams and elegies ascribed to Simonides, including the elegiac fragments discovered in the 1990s ...
-
[22]
Greek Poetry: Elegiac and Lyric - Classics - Oxford BibliographiesElegiac meter came to be the most commonly used one for epigrams, short poems intended to be inscribed somewhere. Performance of elegy seems to have been sung ...
-
[23]
CALLIMACHUS, Epigrams | Loeb Classical Library### Summary of Callimachus' Epigrams
-
[24]
Greek Anthology | Epigrams, Poetry, Anthology - BritannicaThe several types of Greek lyric poetry originated in the Archaic period among the poets of the Aegean Islands and of Ionia on the coast of Asia Minor.
-
[25]
Gaius Valerius Catullus | The Poetry FoundationA generation of poets, Catullus's generation, melded Roman traditions in epigram ... epigram of Meleager, and its opening line alludes to Homer's Odyssey.
-
[26]
I CATULLUS AND HIS CULTURAL MILIEU - 1. Life and backgroundSep 1, 2025 · Catullus and his contemporaries, and was presumably the context in which they most commonly encountered the Greek epigrams. The introductory ...
- [27]
-
[28]
(PDF) Martial: The World of the Epigram - Academia.eduOn Martial's handling of obscenity in connection with Domitian, see Lorenz 2002.142–62. ... See obscenity patrons, 44, 144, 156, 158, 160, Prometheus, 55 ...
-
[29]
Martial: The Epigrams, Book V on JSTORMartial begins his book with an epigram addressed to Domitian, and written to accompany the gift of a copy of it. In effect, it serves as a 'dedication' to him.
-
[30]
Epigram and Occasional Poetry - A Companion to the Flavian Age of ...Jan 15, 2016 · Statius features real individuals and events in his Silvae, but in contrast to Martial he avoids the shadowy side of life in Rome and Naples and ...
-
[31]
Iambics: The Short and the Long of it - Oxford AcademicThe epigrammatist's preference for the metre, alongside elegiacs and hendecasyllables, also of course has its personal motivation, enshrining his aspiration ...
-
[32]
Did Early Christians Destroy Pagan Literature? - James HannamThe Preservation of Literature. The preservation of the classical Latin works that we do possess was almost entirely down to the Christian church. It helped in ...Missing: epigram influences
-
[33]
Christians and Book-Burning in Late Antiquity | Larry Hurtado's BlogFeb 26, 2018 · Since at least Gibbon (19th century), there have been claims that the “triumph” of Christianity led to the wholesale destruction of the literary ...
-
[34]
Epigram (Chapter 5) - A Guide to Neo-Latin LiteratureMarullo addresses Sannazaro and Pontano along with the courtly elite of Naples as being 'of one soul with him' (Ep. 1.54: unanimi mei sodales), Bèze ...
-
[35]
The Neo-Latin Epigram, 15th–17th century. Towards the definition of ...The Neo-Latin epigram offers the scholar the unique luxury of being at the same time poorly researched, richly attested and extremely entertaining.
-
[36]
Epigram Culture and Literary Bilingualism in Early Modern EnglandJun 23, 2022 · This chapter outlines the relationship between Latin and English epigram in England between the mid-sixteenth and the later seventeenth century.
- [37]
-
[38]
Seventeenth-Century Readers of Jonson's 1616 Works (Chapter 4)In just two lines Jonson's well-known epigram communicates a distinctive understanding of the kind of transaction between author and reader that publication ...
-
[39]
The epigram | The Oxford Handbook of John DonneThese epigrams may seem uneven in quality and wit, rather tame examples of a reliance on the traditional figures and situations of the fabliau, especially in ...Missing: metaphysical | Show results with:metaphysical
-
[40]
An Essay on Criticism | The Poetry FoundationOct 13, 2009 · Pope primarily used the heroic couplet, and his lines are immensely quotable; from “An Essay on Criticism” come famous phrases such as “To err ...
-
[41]
Samuel Johnson | The Poetry FoundationThe moral elevation and large vision so characteristic of The Vanity of Human Wishes are one reflection of the ways that Johnson moves from Satura X as a base ...
-
[42]
William Blake's "Proverbs of Hell" and the Tradition of Wisdom - jstor"3 In fact, Blake's "Proverbs of Hell" should be categorized as wisdom literature, or rather as a critique and parody of proverbial wisdom, a biblical genre ...
-
[43]
Poetic Reclamation and Goethe's Venetian Epigrams - jstorMaaB's casual remarks on the biographical background of the epigrams show him a traditionalist on that issue, too: there is no doubt in his mind that the poems ...
-
[44]
Reversal of Dichotomies in The Picture of Dorian Gray - Academia.eduThis paper discusses the dichotomy of soul and body in The Picture of Dorian Gray and posits that the novel has an epigrammatic structure.Missing: scholarly | Show results with:scholarly
-
[45]
Epigram - Definition and Examples - LitChartsEpigrams often contain an opposition or a contradiction that generate their witty "twist," as in the poet Ogden Nash's most famous epigram: "Candy / Is dandy, ...
- [46]
-
[47]
[PDF] charmed modernisms: fantasies of sociality and difference in ...These are the stakes of inquiring into charm at the turn of the twentieth century. Charm's status as space allows us critical inquiry, an inquiry that holds.
-
[48]
The Meters of Epigram - Wiley Online LibraryDec 21, 2018 · This chapter offers a survey of the meters used by epigrammatists in Greek and Latin. It traces parallel processes of “refinement” in Greek ...
-
[49]
Roman author, Greek genre: Martial's use of Epigrams | OUPblogOct 28, 2015 · Epigram had emerged as a literary force to be reckoned with in the Hellenistic age, in the centuries after the death of Alexander the Great ...
-
[50]
Line, Stanza & Form: An Introduction to PoetryFeb 12, 2020 · Of craft, you should know a line of five iambs is, “iambic petameter”, the line of Alexander Pope and William Shakespeare, and likely, you. ...
-
[51]
Epigram Engraved on the Collar of a Dog Which I Gave to His Royal ...'Epigram Engraved on the Collar of a Dog' by Alexander Pope is a tightly ... The poem is written over two lines in iambic tetrameter with an AA rhyme scheme.
-
[52]
1.7 Martial Epigrams Collection Study GuideMajor themes: Social satire, greed, hypocrisy, physical appearance, literary criticism; Grammar patterns: Future more vivid conditions, vocatives for direct ...
-
[53]
(PPT) Light Verse and Nonsense Verse - Academia.eduNonsense verse often uses invented words and varies in rhyme scheme, typically ABAB or ABCB. Prominent authors of nonsense verse include Lewis Carroll ...
-
[54]
Poster poems: write a rubai | Poetry | The GuardianAug 15, 2008 · The word rubaiyat derives from the Arabic term for quatrains, and in their original form they are generally stand-alone epigrammatic poems.Missing: style | Show results with:style
-
[55]
The Poetry of E. E. Cummings - jstorThe Poetry of E. E. Cummings 377 grant language and a kind of delicacy that is like Catullus. Later he was to make epigrams in the manner of the Latin poet,7 ...<|separator|>
-
[56]
Epigram | Academy of American PoetsAn epigram is a short, pithy saying, usually in verse, often with a quick, satirical twist at the end. The subject is usually a single thought or event.
-
[57]
Reflections; or Sentences and Moral Maxims by Francois Duc De La ...Of all the French epigrammatic writers La Rochefoucauld is at once the most widely known, and the most distinguished. Voltaire, whose opinion on the century of ...Introduction (translator's) · Reflections and Moral Maxims · First Supplement
-
[58]
Just a Little One | The New YorkerJust a Little One” by Dorothy Parker was published in the print edition of the May 12, 1928, issue of The New Yorker.Missing: epigrams satirical quips
-
[59]
Archaic and Classical Attic Dedicatory Epigrams: An Epigraphic ...Jun 13, 2018 · Parts I–III contain epigrams written on stone (nos. 1–99), bronze (nos. 100–105) or earthenware objects (nos. 106–116) found on the Acropolis.
-
[60]
sarcophagus | British MuseumInscription translation: M. Sempronius Nicocrates. I was once a cultured man. A poet and a lyre-player, and indeed a member of a festival troupe. Exhausted from ...
-
[61]
“Lend a Voice”: The Humanistic Portrait Epigraph in the Age of ...Nov 20, 2018 · Eulogy is the dominant note also in the epigraph for Dürer's engraving of Willibald Pirckheimer. It consists of a single pentameter: “We live ...