4719 search results - page 75 / 944 » Spreadsheet functional programming |
117
click to vote
SAS
2010
Springer
15 years 25 days ago
2010
Springer
Abstract. Proving the termination of a flowchart program can be done by exhibiting a ranking function, i.e., a function from the program states to a wellfounded set, which strictl...
199
click to vote
TPHOL
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract. We give an overview of Agda, the latest in a series of dependently typed programming languages developed in Gothenburg. Agda is based on Martin-L¨of’s intuitionistic t...
116
click to vote
LFCS
1992
Springer
15 years 6 months ago
1992
Springer
A generator program for a computable function (by definition) generates an infinite sequence of programs all but finitely many of which compute that function. Machine learning of ...
108
Voted
CG
2002
Springer
15 years 2 months ago
2002
Springer
The difficulty to write successful 19x19 go programs lies not only in the combinatorial complexity of go but also in the complexity of designing a good evaluation function containi...
128
click to vote
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
We report on an extension of Haskell with open type-level functions and equality constraints that unifies earlier work on GADTs, functional dependencies, and associated types. The...