Sciweavers

JFP
2010
109views more  JFP 2010»
13 years 9 months ago
Generic programming with C++ concepts and Haskell type classes - a comparison
Earlier studies have introduced a list of high-level evaluation criteria to assess how well a language supports generic programming. Languages that meet all criteria include Haske...
Jean-Philippe Bernardy, Patrik Jansson, Marcin Zal...
JFP
2010
71views more  JFP 2010»
13 years 9 months ago
Factorising folds for faster functions
Graham Hutton, Mauro Jaskelioff, Andy Gill
JFP
2010
63views more  JFP 2010»
13 years 9 months ago
Parametricity, type equality, and higher-order polymorphism
Dimitrios Vytiniotis, Stephanie Weirich
JFP
2010
82views more  JFP 2010»
13 years 9 months ago
Formal polytypic programs and proofs
The aim of our work is to be able to do fully formal, machine verified proofs over Generic Haskellstyle polytypic programs. In order to achieve this goal, we embed polytypic prog...
Wendy Verbruggen, Edsko de Vries, Arthur Hughes
JFP
2010
107views more  JFP 2010»
13 years 9 months ago
Lightweight checkpointing for concurrent ML
Transient faults that arise in large-scale software systems can often be repaired by re-executing the code in which they occur. Ascribing a meaningful semantics for safe re-execut...
Lukasz Ziarek, Suresh Jagannathan
JFP
2010
75views more  JFP 2010»
13 years 9 months ago
"Little language" project modules
John Clements, Kathi Fisler
JFP
2010
142views more  JFP 2010»
13 years 9 months ago
Linear type theory for asynchronous session types
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
Simon J. Gay, Vasco Thudichum Vasconcelos
JFP
2010
128views more  JFP 2010»
13 years 9 months ago
The arrow calculus
We introduce the arrow calculus, a metalanguage for manipulating Hughes’s arrows with close relations both to Moggi’s metalanguage for monads and to Paterson’s arrow notatio...
Sam Lindley, Philip Wadler, Jeremy Yallop