Zobrazeno 1 - 3
of 3
pro vyhledávání: '"AugustssonLennart"'
Autor:
ÅgrenMårten, AugustssonLennart
Publikováno v:
ACM SIGPLAN Notices. 51:127-132
As part of our software toolkit at a major financial institution we have a library for relational algebra. This library is written in C++ and the type checking of the operations on the relations is very dynamic; all relations have the same static typ
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::998721f611392fee63dacc20bf146ad5
https://doi.org/10.1145/3241625.2976016
https://doi.org/10.1145/3241625.2976016
Autor:
AugustssonLennart
Publikováno v:
ACM SIGPLAN Notices. 34:239-250
Cayenne is a Haskell-like language. The main difference between Haskell and Cayenne is that Cayenne has dependent types, i.e., the result type of a function may depend on the argument value , and types of record components (which can be types or valu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::898928f27d8566112684e0c8662ff4d5
https://doi.org/10.1145/291251.289451
https://doi.org/10.1145/291251.289451
Autor:
AugustssonLennart
Publikováno v:
ACM SIGPLAN Notices. 32:127-136
In this paper we investigate how partial evaluation and program transformations can be used on a real problem, namely that of speeding up airline crew scheduling.Scheduling of crews is subject to many rules and restrictions. These restrictions are ex
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e27e721ab10ab50e85b42c8e7bbe19b6
https://doi.org/10.1145/258994.259012
https://doi.org/10.1145/258994.259012