Sciweavers

215 search results - page 24 / 43
» Concatenative Programming - An Overlooked Paradigm in Functi...
Sort
View
POPL
1989
ACM
14 years 19 days ago
How to Make ad-hoc Polymorphism Less ad-hoc
raction that a programming language provides influences the structure and algorithmic complexity of the resulting programs: just imagine creating an artificial intelligence engine ...
Philip Wadler, Stephen Blott
POPL
2008
ACM
14 years 9 months ago
Boomerang: resourceful lenses for string data
A lens is a bidirectional program. When read from left to right, it denotes an ordinary function that maps inputs to outputs. When read from right to left, it denotes an "upd...
Aaron Bohannon, J. Nathan Foster, Benjamin C. Pier...
ACMSE
2007
ACM
14 years 18 days ago
BehaviorSim: towards an educational tool for behavior-based agent
A major paradigm of modeling the decision making of autonomous agents is through behavior-based network models. The network consists of distributed behaviors that compete (or coop...
Pavel Lakhtanau, Xiaolin Hu, Fasheng Qiu
SAS
1993
Springer
139views Formal Methods» more  SAS 1993»
14 years 20 days ago
Compiling FX on the CM-2
Type and effect systems provide a safe and effective means of programming high-performance parallel computers with a high-level language that integrates both functional and impe...
Jean-Pierre Talpin, Pierre Jouvelot
JOT
2010
137views more  JOT 2010»
13 years 7 months ago
Computational Abstraction Steps
ional Abstraction Steps Lone Leth Thomsena Bent Thomsena Kurt Nørmarka a. Department of Computer Science, Aalborg University, Denmark In this paper we discuss computational abstra...
Lone Leth Thomsen, Bent Thomsen, Kurt Nørma...