Sciweavers

5 search results - page 1 / 1
» afp 2004
Sort
View
AFP
2004
Springer
117views Formal Methods» more  AFP 2004»
13 years 10 months ago
Refactoring Functional Programs
Abstract. Refactoring is the process of improving the design of existing programs without changing their functionality. These notes cover refactoring in functional languages, using...
Simon Thompson
AFP
2004
Springer
128views Formal Methods» more  AFP 2004»
13 years 10 months ago
GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications
Abstract. Programming GUIs with conventional GUI APIs is notoriously tedious. In these notes we present the GEC toolkit in which the programmer can create user interfaces without a...
Peter Achten, Marko C. J. D. van Eekelen, Rinus Pl...
AFP
2004
Springer
13 years 10 months ago
A Functional Shell That Operates on Typed and Compiled Applications
Abstract. Esther is the interactive shell of Famke, a prototype implementation of a strongly typed operating system written in the functional programming language Clean. As usual, ...
Rinus Plasmeijer, Arjen van Weelden
AFP
2004
Springer
105views Formal Methods» more  AFP 2004»
13 years 10 months ago
Epigram: Practical Programming with Dependent Types
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
Conor McBride
BC
2004
114views more  BC 2004»
13 years 4 months ago
Spike timing and synaptic plasticity in the premotor pathway of birdsong
Abstract. The neural circuits of birdsong appear to utilize specific time delays in their operation. In particular, the anterior forebrain pathway (AFP) is implicated in an approxi...
Henry D. I. Abarbanel, Leif Gibb, Gabriel B. Mindl...