4959 search results - page 71 / 992 » Imperative Functional Programming |
93
Voted
DAGSTUHL
2004
15 years 2 months ago
2004
Virtually every system designed today is an amalgam of hardware and software. Unfortunately, software and circuits that communicate across the hardware/software boundary are tedio...
114
click to vote
PPDP
2007
Springer
15 years 6 months ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...
84
Voted
APLAS
2007
ACM
15 years 4 months ago
2007
ACM
The integration of functional and logic programming is a well developed field of research. We discuss that the integration could be improved significantly in two separate aspects: ...
176
Voted
Book
"Design patterns inspired by functional programming concepts can advance object-oriented design. This thesis promotes the idea that concepts from the world of functional progr...
76
Voted
APLAS
2005
ACM
15 years 6 months ago
2005
ACM