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

Whiley

Whiley is a general purpose multi-paradigm, compiled language developed by David Pearce. The language combines features from the Functional and… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
The Whiley Rewrite Language (WyRL) is a standalone tool providing a domain-specific declarative rewrite language and code… Expand
  • figure 1
  • figure 2
Is this relevant?
2013
2013
An ongoing challenge for computer science is the development of a tool which automatically verifies programs meet their… Expand
  • figure 1
Is this relevant?
2013
2013
An ongoing challenge for computer science is the development of a tool which automatically verifies that programs meet their… Expand
Is this relevant?
2013
2013
N Goire1,2, M M Lahra3, M Ohnishi4, T Hogan3, A E Liminios3, M D Nissen1,2,5, T P Sloots1,2,5, D M Whiley (d.whiley@uq.edu.au)1,2… Expand
  • table 1
  • table 2
Is this relevant?
2011
2011
IN A NUTSHELL 1. Traditional methods of assessing fracture healing are unreliable 2. Alternative assessment methods can be… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2010
2010
Modern statically typed languages require variables to be declared with a single static type, and that subtyping relationships… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
2004
2004
Streptococcus iniae is one of the few Gram positive streptococcal species capable of hydrolyzing starch. The starch hydrolysis… Expand
  • table 1
  • table 2
  • figure 1
Is this relevant?
1999
1999
Leaf gas exchange of avocado (Persea americana Mill.) and mango (Mangifera indica L.) trees in containers and in an orchard… Expand
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • figure 4
Is this relevant?
1997
1997
Carbohydrate reserves (stored mainly as starch) in tree crops represent the currently unutilized and stored component, mainly in… Expand
Is this relevant?
1990
1990
Wolstenholme, B.N., Whiley, A.W. and Saranah, J.B., 1990. Manipulating vegetative : reproductive growth in avocado (Persea… Expand
  • table 1
  • table 2
  • table 3
  • figure 1
  • figure 2
Is this relevant?