Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             9 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A unified ordering for termination proving Yamada, Akihisa
 2015
 111 P1 p. 110-134
25 p.
 artikel
2 “Bidirectionalization for free” for monomorphic transformations Matsuda, Kazutaka
 2015
 111 P1 p. 79-109
31 p.
 artikel
3 Efficient algorithms for program equivalence for confluent concurrent constraint programming Pino, Luis F.
 2015
 111 P1 p. 135-155
21 p.
 artikel
4 Extensible sparse functional arrays with circuit parallelism O'Donnell, John T.
 2015
 111 P1 p. 23-50
28 p.
 artikel
5 Preface for SCP special issue on Principles and Practice of Declarative Programming Schrijvers, Tom
 2015
 111 P1 p. 1-2
2 p.
 artikel
6 Shape analysis in a functional language by using regular languages Montenegro, Manuel
 2015
 111 P1 p. 51-78
28 p.
 artikel
7 Theory propagation and reification Robbins, Ed
 2015
 111 P1 p. 3-22
20 p.
 artikel
8 Time refinement in a functional synchronous language Mandel, Louis
 2015
 111 P1 p. 190-211
22 p.
 artikel
9 Two type extensions for the constraint modeling language MiniZinc Caballero, Rafael
 2015
 111 P1 p. 156-189
34 p.
 artikel
                             9 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland