4895 search results - page 403 / 979 » Functional Quantum Programming |
186
click to vote
SIGPLAN
2002
15 years 6 months ago
2002
This paper describes a course in hardware description and synthesis (hardware compilation), taught as an introductory graduate course at Chalmers University of Technology, and as a...
207
click to vote
JMLR
2012
13 years 9 months ago
2012
Bisubmodularity extends the concept of submodularity to set functions with two arguments. We show how bisubmodular maximization leads to richer value-of-information problems, usin...
189
click to vote
HASKELL
2009
ACM
16 years 1 months ago
2009
ACM
Haskell is a great language for writing and supporting embedded Domain Specific Languages (DSLs). Some form of observable sharing is often a critical capability for allowing so-c...
186
click to vote
SCAM
2003
IEEE
16 years 13 days ago
2003
IEEE
This paper shows that CPP, the preprocessor of the C language, can be seen as a programming language in which directives are statements, parametrized macros are functions, files a...
176
click to vote
IFL
2001
Springer
15 years 11 months ago
2001
Springer
A programming language with subtyping can be translated into a language without subtyping by inserting conversion functions. Previous studies of this interpretation showed only the...