Ur, Ur/Web

Known as: UR, Ur/Web 
Ur also called Ur/Web is a Free and Open source functional programming language specific for web development, created by Adam Chlipala at the… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2014
Highly Cited
2014
Small cells constitute a promising solution for managing the mobile data growth that has overwhelmed network operators. Local… (More)
  • figure 1
  • figure 2
  • table I
  • figure 3
  • table II
Is this relevant?
Highly Cited
2014
Highly Cited
2014
Favorable propagation, defined as mutual orthogonality among the vector-valued channels to the terminals, is one of the key… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2012
Highly Cited
2012
0308-521X/$ see front matter 2012 Elsevier Ltd. A doi:10.1016/j.agsy.2011.12.004 ⇑ Corresponding author. Tel.: +31 317482382; fax… (More)
  • table 1
  • figure 1
  • table 2
  • figure 2
  • table 3
Is this relevant?
Highly Cited
2010
Highly Cited
2010
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The… (More)
  • figure 5
Is this relevant?
Highly Cited
2008
Highly Cited
2008
This paper discusses the design, implementation, experimental validation, and performances of a field-programmable gate array… (More)
  • figure 1
  • figure 2
  • table I
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2008
Highly Cited
2008
This paper presents AURA, a programming language for access control that treats ordinary programming constructs (e.g., integers… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Tomato (Solanum lycopersicum) is a model plant for studying fleshy fruit development. Several genetic and molecular approaches… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2003
Highly Cited
2003
  • K. Gunsta, K. Mesottena, A. Carbonezb, G. Willemsa
  • 2003
The aim of the present investigation, which is a continuation and extension of a previous published pilot study [Forensic Sci… (More)
  • table 2
  • figure 1
  • table 1
  • table 3
  • table 4
Is this relevant?
Highly Cited
2002
Highly Cited
2002
-The passage of cosmic ray particles and energetic solar particles through interplanetary space is illustrated with a number of… (More)
  • figure 2
  • figure 3
  • figure 5
  • figure 6
  • figure 7
Is this relevant?
1998
1998
In this position paper we argue that the overall development of a Web based Information System can substantially bene t from… (More)
Is this relevant?