Skip to search formSkip to main contentSkip to account menu

Epigram

Known as: Epigram (disambiguation), Epigram language, Epigram programming language 
Epigram is a functional programming language with dependent types. Epigram also refers to the IDE usually packaged with the language. Epigram's type… 
Wikipedia (opens in a new tab)

Related topics

Related topics

20 relations
ALF (proof assistant)AgdaCompilerDependent ML

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2012
Review
2012
Romantic posthumous life writing: inter-stitching genres and forms of mourning and commemoration
Contemporary scholarship has seen increasing interest in the study of elegy. The present work attempts to elevate and expand… 
2010
2010
Archaic and classical Greek epigram.
Introduction Manuel Baumbach, Andrej Petrovic and Ivana Petrovic Part I. Contextualisation Section 1. Speaking and Reading: The… 
2008
2008
Rome Without Emperors: The Revival of a Senatorial City in the Fourth Century CE.
2007
2007
Epigram and the Theater
The entire Hellenistic vogue for epigrams on great literary gures of the past shares, as has been aptly remarked, “a common… 
2007
2007
The Dresden Type Satyr-Hermaphrodite Group in Roman Theaters
The Dresden type satyr-hermaphrodite group is known through more than 30 Roman replicas in various media. The meaning of the… 
2006
2006
The Laboring and Middle-Class Peoples of Latin America and the Caribbean: Historical Trajectories and New Research Directions
Only in the last thirty years did the study of labor emerge as an academic specialization within and about Latin America and the… 
2005
2005
Hidden Presences: Monuments, Gravesites, and Corpses in Greek Funerary Epigram
A"Hidden PresencesA" explores the inheritances of Hellenistic literary epigram from the sepulchral sub-genre of inscribed epigram… 
1999
1999
The Lawyer and the Lightning Rod
The Argument In the summer of 1783, a trial took place in the French city of Arras. One M. de Vissery, a resident of the nearby… 
1993
1993
The Revival of Rhetoric, the New Rhetoric, and the Rhetorical Turn:Some Distinctions
Each of the three phrases-the revival of rhetoric, the new rhetoric, and the rhetorical turn-points to a rediscovery of rhetoric… 
1963
1963
Plato’s Love Epigrams
Most of the epigrams ascribed to Plato by Diogenes Laertius are shown by style and substance to have been composed in the third… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)