Pure functional programs fulfill properties which can be derived solely from the types of their functions, especially from types of parametric polymorphic functions. These properties are called parametricity results, or more commonly, free theorems. First only considered for the polymorphic lambda calculus of Girard and Reynolds, research has studied how adding aspects of current functional programming languages like Haskell influence the expressiveness of such free theorems. These aspects cover undefined values, fixpoint combinators and selective strictness. The contribution of this thesis is to subsume these results in one common scheme and to enhance it with other aspects of Haskell, namely simple type classes and three kinds of user-defined data types. Additionally, several simplifications commonly used in deriving free theorems are identified. Based on these theoretic foundations, an implementation is described which allows to automatically generate free theorems.

According to [Str67], parametric polymorphic functions behave uniformly at every type. In functional programming languages based on the polymorphic lambda calculus of Girard and Reynolds [Gir72, Rey74], this concept is captured by parametricity theorems [Rey83, Wad89]. In [Wad89], it was then pointed out how these theorems may be used to derive properties of functions, especially of parametric polymorphic ones, solely from the their types, that is, virtually for free. This is the reason why the results obtained from parametricity theorems are also called free theorems.

There has always been the necessity to have a definitive guide on PHP?Nuke. This tutorial describes the installation and structure of PHP?Nuke and the details of customizing the front end to suit the users' needs. The architecture of PHP?Nuke, with its modules, blocks, topics and themes is presented in detail, as well as the interplay of PHP and MySQL for the creation of a mighty content management system (CMS).It also delves into more advanced issues, like the programming of PHP?Nuke blocks and modules.

This book is born as a "thank you" to all the users who visit spaghettibrain. There has always been the necessity to have a definitive guide on PHP?Nuke, possibly in Italian language. Due to time constraints, nobody has ever had the will to carry out this operation.

This document introduces the Cocoa application environment using the Java language and teaches you how to leverage Apple’s development tools to build robust, object-oriented applications. Cocoa provides the best way to build modern, multimedia-rich, object-oriented applications for consumers and enterprise customers alike. This document assumes you are familiar with Java programming but does not assume you have previous experience with Cocoa or Xcode Tools.

This document is intended for Java programmers interested in developing Cocoa applications. Keep in mind, however, that Java is not Cocoa’s native language. To develop Cocoa applications that you intend to release to end users, you must use Objective-C. No Java interfaces for new Cocoa features will be added to Mac OS X versions after 10.4. Therefore, features added to Cocoa in subsequent versions ac OS X will not be available to Cocoa applications developed using Java.

The launch of OpenOffice.org 1.0 in 2002 removed at a stroke one major obstacle to the universal use of Linux on the desktop. At last, Linux users have office software - word processor, spreadsheet, graphics, and presentation - which not only works at least as well as the Microsoft Office equivalent, but can also use Microsoft Office file formats, and is genuinely open source.

However, this hasn't prevented objections from Microsoft diehards that they still can't migrate to Linux, because "Linux hasn't anything like MicrosoftAccess". Well, have I got news for you. It has, and it's called OpenOffice.org 1.0. One of the hidden secrets of OpenOffice.org 1.0 is that it also has a great user-friendly database front end. All you need to do is wire it up to one of the many open-source databases on Linux, and you have a Microsoft Access (and more) equivalent.