4716 search results - page 10 / 944 » Tangible functional programming |
ICFP
2006
ACM
14 years 7 months ago
2006
ACM
ESOP
2010
Springer
14 years 5 months ago
2010
Springer
ICFP
2012
ACM
11 years 10 months ago
2012
ACM
Programming with dependent types is a blessing and a curse. It is a blessing to be able to bake invariants into the definition of datatypes: we can finally write correct-by-cons...
PPDP
2009
Springer
14 years 2 months ago
2009
Springer
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on set functions that return the set of all the resul...
MM
2005
ACM
14 years 1 months ago
2005
ACM
Post-Bit is a small e-paper device modeled after paper PostIts r 1 . We explored and designed interfaces to handle multimedia contents with paper-like manipulations using this epa...