Sciweavers

Share
FLOPS
2006
Springer
9 years 9 months ago
"Scrap Your Boilerplate" Reloaded
Abstract. The paper "Scrap your boilerplate" (SYB) introduces a combinator library for generic programming that offers generic traversals and queries. Classically, suppor...
Ralf Hinze, Andres Löh, Bruno C. D. S. Olivei...
FLOPS
2006
Springer
9 years 9 months ago
Typed Contracts for Functional Programming
Ralf Hinze, Johan Jeuring, Andres Löh
FLOPS
2006
Springer
9 years 9 months ago
A Computational Approach to Pocklington Certificates in Type Theory
Pocklington certificates are known to provide short proofs of primality. We show how to perform this in the framework of formal, mechanically checked, proofs. We present an encodin...
Benjamin Grégoire, Laurent Théry, Be...
FLOPS
2006
Springer
9 years 9 months ago
Contracts as Pairs of Projections
Abstract. Assertion-based contracts provide a powerful mechanism for stating invariants at module boundaries and for enforcing them uniformly. In 2002, Findler and Felleisen showed...
Robert Bruce Findler, Matthias Blume
FLOPS
2006
Springer
9 years 9 months ago
A Framework for Extended Algebraic Data Types
Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey
FLOPS
2006
Springer
9 years 9 months ago
Lock Free Data Structures Using STM in Haskell
Abstract. This paper explores the feasibility of re-expressing concurrent algorithms with explicit locks in terms of lock free code written using Haskell's implementation of s...
Anthony Discolo, Tim Harris, Simon Marlow, Simon L...
FLOPS
2006
Springer
9 years 9 months ago
Ruler: Programming Type Rules
Atze Dijkstra, S. Doaitse Swierstra
FLOPS
2006
Springer
9 years 9 months ago
Convergence in Language Design: A Case of Lightning Striking Four Times in the Same Place
What will a definitive programming language look like? By definitive language I mean a programming language that gives good soat its level of abstraction, allowing computer science...
Peter Van Roy
FLOPS
2006
Springer
9 years 9 months ago
Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages
Functional reactive programming integrates dynamic dataflow with functional programming to offer an elegant and powerful model for expressing computations over time-varying values....
Daniel Ignatoff, Gregory H. Cooper, Shriram Krishn...
FLOPS
2006
Springer
9 years 9 months ago
iData for the World Wide Web - Programming Interconnected Web Forms
Abstract. In this paper we present the iData Toolkit. It allows programmers to create interactive, dynamic web applications with state on evel of abstraction. The key element of th...
Rinus Plasmeijer, Peter Achten
books