Documents Related by Co-Citation

226 Functional Data Structures – Chris Okasaki - 1996
235 A dichromatic framework for balanced trees – Leo J Guibas, Robert Sedgewick - 1978
177 An algorithm for the organization of information – G Adelson-Velskii, E M Landis - 1962
11 A logarithmic implementation of flexible arrays. Memorandum MR83/4 – W Braun, M Rem - 1983
38 A Tree-Trellis Based Fast Search for Finding the N Best Sentence Hypotheses in Continuous Speech Recognition – Frank K. Soong, et al.
21 and soft symbol output Viterbi algorithms: extensions and comparisons – C Nill, C-E W Sundberg, List - 1995
123 Progressive Image Coding for Noisy Channels – P. Greg Sherwood, Kenneth Zeger - 1997
62 List Viterbi decoding algorithm with applications – N Seshadri, C Sundberg - 1994
45 The Coq proof assistant user’s guide. Rapport Techniques 154 – G Dowek, A Felty, H Herbelin, G Huet, C Murthy, C Parent, C Paulin-Mohring, B Werner - 1993
2 A logarithmic implementation of fexible arrays – W Braun, M Rem - 1983
68 De Bruijn notation as a nested datatype – Richard S. Bird, Ross Paterson, Sir Arthur, Conan Doyle - 1999
29 From fast exponentiation to square matrices: an adventure in types – C Okasaki - 1999
24 Manufacturing Datatypes – Ralf Hinze - 1999
29 Indexed types – C Zenger - 1997
206 PVS: Combining Specification, Proof Checking, and Model Checking – S. Owre, S. Rajan, J. M. Rushby, N. Shankar, M. Srivas - 1996
290 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
169 Eliminating Array Bound Checking Through Dependent Types – Hongwei Xi, Frank Pfennig - 1998
172 Refinement types for ML – Tim Freeman - 1994
79 Nested datatypes – Richard Bird, Lambert Meertens - 1998