Timothy Jones

Learn More
Retinoic acid (RA) is an active metabolite of Vitamin A that plays an important role in the growth and differentiation of many cell types. All-trans RA (atRA) is the retinoic acid isomer that has been most widely studied in the nervous system, and can induce and direct neurite outgrowth from both vertebrate and invertebrate preparations. The presence and(More)
Combinations of structural and nominal object typing in systems such as Scala, Whiteoak, and Unity have focused on extending existing nominal, class-based systems with structural subtyping. The typical rules of nominal typing do not lend themselves to such an extension, resulting in major modifications. Adding object branding to an existing structural(More)
Structural type systems provide an interesting alternative to the more common nominal typing scheme. Several existing languages employ structural types in some form, including Modula-3, Scala and various extensions proposed for Java. However, formalising a recursive structural type system is challenging. In particular, the need to use structural coinduction(More)
littleBits (littleBits.cc) is an open-source hardware library of pre assembled analogue components that can be easily assembled into circuits, disassembled, reassembled, and re-used. In this demo, we consider littleBits --- and the littleBits synth kit in particular ---as a physically-embodied domain specific functional programming language, and how(More)
Imaginary objects in games and movies must include small-scale details in order to appear plausible. Often the overall character of this `incidental' detail matters, but the exact shape and placement of each feature is unimportant. The creation of these details often consumes artist time when pattern generation techniques could automate the process instead,(More)