Disjoint forms in graphical user interfaces

Forms are parts of a graphical user interface (GUI) that show a set of values and allow the user to update them. The declarative form construction library FunctionalForms is extended with disjoint form combinators to capture some common patterns in which the form structure expresses a choice. We demonstrate that these combinators lead to a better separation of logic and layout

The Implementation of iData - A Case Study in Generic Programming

Item does not contain fulltex

Efficient and Type-Safe Generic Data Storage

AbstractIn this paper we present an elegant method for sequentializing arbitrary data using the generic language extension of the functional programming language Clean. We show how the proposed operations can be used to store values of any concrete data type in several kinds of IO containers (such as files or arrays of characters), and how to manipulate stored data efficiently. Moreover, by extending stored data with encoded type information, data manipulation will be type-safe. Defining these operations generically has the advantage that specific instances for user defined data types can be generated fully automatically. Compared to traditional sequentialization methods (or to common data manipulation, using relational data bases) our operations are an order of magnitude faster

Exploring betapapillomavirus infections and their association with cutaneous squamous-cell carcinoma

In dit proefschrift staat het onderzoek beschreven naar de relatie tussen betapapillomavirussen (betaPV) en het cutane plaveiselcelcarcinoom (PCC) en diens voorloper actinische keratose (AK). BetaPV maken deel uit van de papillomavirusfamilie, die meer dan 100 humane papillomavirussen (HPV) omvat en meerdere animale. HPV is geassocieerd met anogenitale carcinomen en cutane wratten. In 1972 werd een associatie tussen betaPV en PCC beschreven in pati_nten met de zeldzame genodermatose Epidermodysplasia Verruciformis (EV). Momenteel zijn 31 typen BetaPV bekend (HPV5, 8, 9, 12, 14, 15, 17, 19, 20, 21, 22, 23, 24, 25, 36, 37, 38, 47, 49, 75, 76, 80, 92, 93, 96, 98, 99, 100, 104, 105 en 113) en nieuwe types worden regelmatig beschreven. Associaties zijn beschreven tussen AK en PCC en betaPV DNA in wenkbrauwharen en L1 antilichamen. Voor dit onderzoek zijn wenkbrauwharen gebruikt om betaPV DNA uit te isoleren en bloed om antilichamen tegen betaPV te isoleren. Hoofdstuk 2, 4, 5 en 6 zijn uitgevoerd binnen de context van de Nambour Skin cancer Study, een prospectieve cohortstudie naar het voorkomen van huidkanker in Nambour, een stad met 10000 inwoners op 2 uur rijden van Brisbane, Australi_. Huidkanker komt hier veel voor vanwege de tropische ligging en voornamelijk blanke bevolking. Hoofdstuk 3 is uitgevoerd onder PCC__pati_nten in Townsville, Australi_. Ook hier zorgt de hoge UV-belasting en de blanke bevolking voor een hoog huidkanker cijfer.UBL - phd migration 201

Constructing medium sized efficient functional programs in Clean

Contains fulltext : 107652.pdf (author's version ) (Open Access

Specific "scientific" data structures, and their processing

Programming physicists use, as all programmers, arrays, lists, tuples, records, etc., and this requires some change in their thought patterns while converting their formulae into some code, since the "data structures" operated upon, while elaborating some theory and its consequences, are rather: power series and Pad\'e approximants, differential forms and other instances of differential algebras, functionals (for the variational calculus), trajectories (solutions of differential equations), Young diagrams and Feynman graphs, etc. Such data is often used in a [semi-]numerical setting, not necessarily "symbolic", appropriate for the computer algebra packages. Modules adapted to such data may be "just libraries", but often they become specific, embedded sub-languages, typically mapped into object-oriented frameworks, with overloaded mathematical operations. Here we present a functional approach to this philosophy. We show how the usage of Haskell datatypes and - fundamental for our tutorial - the application of lazy evaluation makes it possible to operate upon such data (in particular: the "infinite" sequences) in a natural and comfortable manner.Comment: In Proceedings DSL 2011, arXiv:1109.032