1932 search results - page 253 / 387 » A Functional Quantum Programming Language |
146
click to vote
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. General refinement types allow types to be refined by predicates written in a general-purpose programming language, and can express function pre- and postconditions and d...
145
click to vote
ECOOP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The state design pattern is the standard object-oriented programming idiom for implementing the state machine logic of interactive applications. While this pattern provid...
139
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
High-level formalisms for reasoning about names and binding such uijn indices, various flavors of higher-order abstract syntax, ry of Contexts, and nominal abstract syntax address...
134
Voted
ESOP
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. We propose a new representation for the domain of Definite Boolean functions. The key idea is to view the set of models of a Boolean function as an incidence relation be...
159
click to vote
JMLR
2012
13 years 7 months ago
2012
The development of accurate models and efficient algorithms for the analysis of multivariate categorical data are important and longstanding problems in machine learning and compu...