Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Introduction Manuel Baumbach, Andrej Petrovic and Ivana Petrovic Part I. Contextualisation Section 1. Speaking and Reading: The… Expand
Is this relevant?
2008
2008
Introduction: getting to know Martial 1. Copyright and contagion: the city as text 2. Vigor Mortis: living and dying 3. Poetic… Expand
Is this relevant?
2007
2007
In this age of the sound bite, what sort of author could be more relevant than a master of the epigram? Martial, the most… Expand
Is this relevant?
2007
2007
A prominent feature of archaic and classical Greek symposia1 was the singing of songs in elegiac meter, songs that often… Expand
Is this relevant?
2007
2007
It might seem paradoxical to expect to nd characterization in poems which have such a small compass as Hellenistic epigrams. Yet… Expand
Is this relevant?
2005
2005
Epigram, a functional programming environment with dependent types, interacts with the programmer via an extensible high level… Expand
  • figure 1.1
  • figure 1.3
Is this relevant?
Highly Cited
2004
Highly Cited
2004
  • Conor McBride
  • Advanced Functional Programming
  • 2004
  • Corpus ID: 52804898
Find the type error in the following Haskell expression: if null xs then tail xs else xs You can’t, of course: this program… Expand
  • figure 1
Is this relevant?
2004
2004
Preface: skoptic epigram 1. Reading skoptic epigram 2. Situating skoptic epigram 3. Louklillios 4. Nikarkhos 5. Broken masks… Expand
Is this relevant?
1998
1998
List of contributors List of abbreviations Introduction Graham N. Stanton 1. Intolerance and martyrdom: from Socrates to Rabbi… Expand
Is this relevant?
Highly Cited
1997
Highly Cited
1997
The architecture of a software system classifies its components into subsystems and describes the relationships between the… Expand
  • table 1
  • table 2
  • table 3
  • figure 1
  • figure 2
Is this relevant?