Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 222,876,910 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
20 relations
ALF (proof assistant)
Agda
Compiler
Dependent ML
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
The Decline of Proverbs as a Creative Oral Expression: A Case Study of Proverb Usage among the Ondo in the South Western Part of Nigeria
C. Akinmade
2012
Corpus ID: 56359034
It cannot be disputed that proverbs occupy a very central position in creative art. It is deployed in many societies to bring…
Expand
2011
2011
Regulating Wall Street: Exploring the Political Economy of the Possible
G. Epstein
,
R. Pollin
2011
Corpus ID: 167979678
The Dodd-Frank Wall Street Reform and Consumer Protection Act in July 2010 is the most ambitious measure aimed at regulating U.S…
Expand
2010
2010
Archaic and classical Greek epigram.
M. Baumbach
,
A. Petrović
,
I. Petrovic
2010
Corpus ID: 150445490
Introduction Manuel Baumbach, Andrej Petrovic and Ivana Petrovic Part I. Contextualisation Section 1. Speaking and Reading: The…
Expand
2010
2010
Archaic Greek Epigram and Dedication: Representation and Reperformance
J. W. Day
2010
Corpus ID: 190513364
1. (Re)presentation and (re)performance 2. Contexts of encounters and the question of reading 3. Presenting the dedication 4…
Expand
2008
2008
Increasing discrepancy between absolute and effective indexes of research output in a Brazilian academic department
A. Araújo
Scientometrics
2008
Corpus ID: 23485125
We investigate possible effects from a strong encouragement for a large number of publications on the scientific production of a…
Expand
2007
2007
Epigram and the Theater
M. Fantuzzi
2007
Corpus ID: 133599266
The entire Hellenistic vogue for epigrams on great literary gures of the past shares, as has been aptly remarked, “a common…
Expand
2007
2007
From Archaic Elegy to Hellenistic Sympotic Epigram
E. Bowie
2007
Corpus ID: 191038881
A prominent feature of archaic and classical Greek symposia1 was the singing of songs in elegiac meter, songs that often…
Expand
2007
2007
The Dresden Type Satyr-Hermaphrodite Group in Roman Theaters
Alexandra G. Retzleff
American Journal of Archaeology
2007
Corpus ID: 58920655
The Dresden type satyr-hermaphrodite group is known through more than 30 Roman replicas in various media. The meaning of the…
Expand
2004
2004
Greek Epigram in the Roman Empire: Martial's Forgotten Rivals
G. Nisbet
2004
Corpus ID: 152760639
Preface: skoptic epigram 1. Reading skoptic epigram 2. Situating skoptic epigram 3. Louklillios 4. Nikarkhos 5. Broken masks…
Expand
1999
1999
The Lawyer and the Lightning Rod
J. Riskin
Science in Context
1999
Corpus ID: 144133896
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…
Expand
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)
ACCEPT & CONTINUE