1932 search results - page 332 / 387 » A Functional Quantum Programming Language |
91
Voted
FLAIRS
2006
15 years 4 months ago
2006
Music has structure at many levels, from grand arrangements of verses and choruses down to patterns in small riffs and themes. A bracketed L-system -- the SARAH language -- is use...
109
Voted
SERP
2004
15 years 4 months ago
2004
Game and simulation development is a difficult process because there are many low level infrastructure concerns that need to be addressed. This is a barrier to development for ine...
117
click to vote
SOQUA
2004
15 years 4 months ago
2004
We present an approach for the use case and scenario-based testing of software components. Use cases and scenarios are applied to describe the functional requirements of a software...
139
click to vote
LFP
1990
15 years 3 months ago
1990
Quest is a programming language based on impredicative type quantifiers and subtyping within a three-level structure of kinds, types and type operators, and values. The semantics ...
116
Voted
APAL
2008
15 years 2 months ago
2008
Most type systems are agnostic regarding the evaluation strategy for the underlying languages, with the value restriction for ML which is absent in Haskell as a notable exception....