Documents Related by Co-Citation

196 Functional Data Structures – Chris Okasaki - 1996
11 A logarithmic implementation of flexible arrays. Memorandum MR83/4 – W Braun, M Rem - 1983
212 A dichromatic framework for balanced trees – L J Guibas, R Sedgewick - 1978
154 An algorithm for the organization of information – G Adelson-Velskii, E M Landis - 1962
14 List and soft symbol output Viterbi algorithms: Extensions and comparisions – C Nill, C E W Sundberg - 1995
52 List Viterbi decoding algorithms with applications – N Seshadri, C Sundberg - 1994
37 A Tree-Trellis Based Fast Search for Finding the N Best Sentence Hypotheses in Continuous Speech Recognition – Frank K. Soong, et al.
111 Progressive Image Coding for Noisy Channels – P. Greg Sherwood, Kenneth Zeger - 1997
2 A logarithmic implementation of fexible arrays – W Braun, M Rem - 1983
27 From fast exponentiation to square matrices: an adventure in types – C Okasaki - 1999
28 Indexed types – Christoph Zenger - 1997
22 Manufacturing Datatypes – Ralf Hinze - 1999
44 The Coq proof assistant user’s guide. Rapport Techniques 154 – Gilles Dowek, Amy Felty, Hugo Herbelin, Gérard Huet, Chet Murthy, Catherine Parent, Christine Paulin-Mohring, Benjamin Werner - 1993
162 Eliminating Array Bound Checking Through Dependent Types – Hongwei Xi, Frank Pfennig - 1998
272 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
151 Refinement types for ML – Tim Freeman - 1994
62 De Bruijn notation as a nested datatype – Richard S. Bird, Ross Paterson, Sir Arthur, Conan Doyle - 1999
67 Nested datatypes – Richard Bird, Lambert Meertens - 1998
7 Views: An Extension to Haskell Pattern Matching. Available from http://www.haskell.org/development/views.html – F W Burton, E Meijer, P Sansom, S Thompson, Wadler - 1996