Sciweavers

2394 search results - page 21 / 479
» Implementing Mobile Haskell
Sort
View
MMS
2007
13 years 9 months ago
Towards Java-based Data Caching for Mobile Information System Clients
Abstract: Mobile information system require client side caching of data for various reasons. Caching issues are discussed in many scientific publications that mostly lack an usabl...
Alexandru Caracas, Iulia Ion, Mihaela Ion, Hagen H...
CHI
2009
ACM
13 years 11 months ago
Design, implementation and evaluation of a novel public display for pedestrian navigation: the rotating compass
Important drawbacks of map-based navigation applications for mobile phones are their small screen size and that users have to associate the information provided by the mobile phon...
Enrico Rukzio, Michael Müller, Robert Hardy
ICFP
2005
ACM
14 years 7 months ago
Scrap your nameplate: (functional pearl)
Recent research has shown how boilerplate code, or repetitive code for traversing datatypes, can be eliminated using generic programming techniques already available within some i...
James Cheney
PADL
1999
Springer
13 years 12 months ago
MCORBA: A CORBA Binding for Mercury
MCORBA is a binding to the CORBA distributed object framework for the purely declarative logic/functional language Mercury. The binding preserves the referential transparency of th...
David Jeffery, Tyson Dowd, Zoltan Somogyi
CORR
2008
Springer
113views Education» more  CORR 2008»
13 years 7 months ago
A Functional Hitchhiker's Guide to Hereditarily Finite Sets, Ackermann Encodings and Pairing Functions
The paper is organized as a self-contained literate Haskell program that implements elements of an executable finite set theory with focus on combinatorial generation and arithmet...
Paul Tarau