Search Sciweavers | Sciweavers

32

HASKELL
2006
ACM

110views Programming Languages» more HASKELL 2006»

Strongly typed memory areas programming systems-level data structures in a functional language

14 years 2 months ago

Modern functional languages offer several attractive features to support development of reliable and secure software. However, in our efforts to use Haskell for systems programmin...

Iavor S. Diatchki, Mark P. Jones

claim paper

Read More »

33

click to vote

ICFP
2004
ACM

169views Programming Languages» more ICFP 2004»

Scrap more boilerplate: reflection, zips, and generalised casts

14 years 8 months ago

Download www.cs.vu.nl

Writing boilerplate code is a royal pain. Generic programming promises to alleviate this pain by allowing the programmer to write a generic "recipe" for boilerplate code...

Ralf Lämmel, Simon L. Peyton Jones

claim paper

Read More »

26

click to vote

HASKELL
2005
ACM

93views Programming Languages» more HASKELL 2005»

TypeCase: a design pattern for type-indexed functions

14 years 2 months ago

Download www.comlab.ox.ac.uk

A type-indexed function is a function that is deﬁned for each member of some family of types. Haskell’s type class mechanism provides collections of open type-indexed function...

Bruno C. D. S. Oliveira, Jeremy Gibbons

claim paper

Read More »

33

click to vote

HASKELL
2008
ACM

146views Programming Languages» more HASKELL 2008»

Clase: cursor library for a structured editor

13 years 10 months ago

Download pubs.doc.ic.ac.uk

The “zipper” is a well known design pattern for providing a cursorlike interface to a data structure. However, the classic treatise by Huet only scratches the surface of some ...

Tristan O. R. Allwood, Susan Eisenbach

claim paper

Read More »

14

click to vote

DAC
1999
ACM

149views Computer Architecture» more DAC 1999»

Micro Architecture Coverage Directed Generation of Test Programs

14 years 9 months ago

Download www.research.ibm.com

Shmuel Ur, Yaov Yadin

claim paper