Ton Vullinghs

According to our database, Ton Vullinghs authored at least 8 papers between 1995 and 2003.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2003

Tool Support for the Interactive Derivation of Formally Correct Functional Programs.

Walter Guttmann, Helmuth Partsch, Wolfram Schulte, Ton Vullinghs

J. Univers. Comput. Sci., 2003

2002

Performing Initial Risk Assessments in Software Acquisition Projects.

Esa Rosendahl, Ton Vullinghs

Proceedings of the Software Quality, 2002

2000

Experiences on Lean Techniques to Manage Software Suppliers.

Ton Vullinghs, Thomas Gantner, Stephan Steinhauer, Thomas Weber

Proceedings of the Product Focused Software Process Improvement, 2000

1999

Functional abstractions for imperative actions.

Ton Vullinghs

PhD thesis, 1999

1997

Structuring Graphical Paradigms in TkGofer.

Koen Claessen, Ton Vullinghs, Erik Meijer

Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), 1997

1996

The Design of a Functional GUI Library Using Constructor Classes.

Ton Vullinghs, Wolfram Schulte, Thilo Schwinn

Proceedings of the Perspectives of System Informatics, 1996

TkGofer: A Functional GUI Library.

Wolfram Schulte, Thilo Schwinn, Ton Vullinghs

Proceedings of the Algebraic Methodology and Software Technology, 1996

1995

Lightweight GUIs for Functional Programming

Ton Vullinghs, Daniel Tuinman, Wolfram Schulte

Proceedings of the Programming Languages: Implementations, 1995