1835 search results - page 175 / 367 » Functional Programming of Behavior-Based Systems |
135
click to vote
NIPS
1993
15 years 6 months ago
1993
This paper introduces GNARL, an evolutionary program which induces recurrent neural networks that are structurally unconstrained. In contrast to constructive and destructive algor...
114
Voted
LISP
2006
15 years 5 months ago
2006
Abstract. Defunctionalization is a program transformation that eliminates functions as first-class values. We show that defunctionalization can be viewed as a type-preserving trans...
151
click to vote
ICFP
2002
ACM
16 years 5 months ago
2002
ACM
We propose an extension of Haskell's type class system with bstractions in the type language. Type inference for our extension relies on a novel constrained unification proce...
142
click to vote
SCAM
2006
IEEE
15 years 11 months ago
2006
IEEE
Programmers often want to transform the source or binary representations of their programs (e.g., to optimize, add dynamic safety checks, or add profile gathering code). Unfortun...
148
Voted
JALC
2006
15 years 5 months ago
2006
Mobile programs, like applets, are not only ubiquitous, but also potentially malicious. We study the case where mobile programs are executed by a host system in a secured environm...