Hume (programming language)

Known as: Hume, Hume (language) 
Hume is a functionally based programming language developed at the University of St Andrews and Heriot-Watt University in Scotland since the year… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1937-2018
020406019372017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
Ryan J Taft, Evgeny A Glazov, Nicole Cloonan, Cas Simons, Stuart Stephen, Geoffrey J Faulkner, Timo Lassmann, Alistair R R… (More)
Is this relevant?
2009
2009
With the emergence of commodity multicore architectures, exploiting tightly-coupled parallelism has become increasingly important… (More)
  • figure 1.1
  • figure 1.2
  • figure 1.3
  • table 1.1
Is this relevant?
2008
2008
Understanding the distinction between impressions and ideas that Hume draws in the opening paragraphs of his A Treatise on Human… (More)
Is this relevant?
Highly Cited
2008
Highly Cited
2008
  • KENNETH R. FRENCH, Brad Asness, +38 authors Sunil Wahal
  • 2008
I compare the fees, expenses, and trading costs society pays to invest in the U.S. stock market with an estimate of what would be… (More)
  • table II
  • table III
  • figure 1
  • table V
  • table VI
Is this relevant?
Highly Cited
2006
Highly Cited
2006
The philosopher David Hume’s conclusion that causal induction is solely based on observed associations still presents a puzzle to… (More)
  • figure 1
  • figure 2
Is this relevant?
2005
2005
Hume is a programming language targeted at safety-critical, resource-bounded systems. Bounded time and space usage is achieved by… (More)
Is this relevant?
2004
2004
Safety-critical software systems call for effective analysis that ensures the correctness of the systems. HUME is a functional… (More)
  • figure 1.1
  • figure 1.2
  • figure 1.3
  • figure 1.6
  • figure 1.7
Is this relevant?
Highly Cited
2003
Highly Cited
2003
This paper describes Hume: a novel domain-specific language whose purpose is to explore the expressibility/costability spectrum… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
2003
2003
This chapter describes the design of Hume: a domain-specific language targeting real-time embedded systems. Hume provides a… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2000
2000
Hume is a novel functionally-based language that targets safety-critical applications. The language is designed to support… (More)
  • figure 1.1
  • figure 1.2
  • figure 1.3
  • figure 1.4
  • figure 1.5
Is this relevant?