Search results
Jump to navigation
Jump to search
- I should also mention here [http://okmij.org/ftp/Haskell/types.html Oleg Kiselyov's page on type-level programming in Haskell].14 KB (2,322 words) - 13:55, 24 November 2023
- :Oleg Kiselyov's [[zipper]]-based file server/OS where threading and exceptions a11 KB (1,663 words) - 19:17, 15 August 2019
- :Alexey Rodriguez Yakushev, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliviera. In Andy Gill, editor, Proceedings of the15 KB (1,992 words) - 19:49, 26 May 2022
- <shapr> Oleg will do something terrifying like implementing type checking in tcp/ip chec <shapr> Yeah, it does require more than an oleg of type-hackery.55 KB (8,884 words) - 01:18, 10 November 2022
- ...is finished. [http://okmij.org/ftp/papers/LL3-collections-enumerators.txt Oleg showed] how this can be implemented using a left fold.14 KB (2,193 words) - 05:45, 12 July 2021
- :Oleg Kiselyov, Ralf Lämmel, and Keean Schupke. Haskell '04: Proceedings of the14 KB (1,953 words) - 00:54, 5 June 2022
- <li><p><em>Typed symbolic differentiation</em>. Oleg Kiselyov </em>. Oleg Kiselyov93 KB (13,836 words) - 23:40, 14 August 2019
- * newanon@yandex.ru (Oleg Ivanov)18 KB (3,049 words) - 10:29, 7 February 2021
- <li><p><em>Type-level binary arithmetic library</em>. Oleg Kiselyov and Chung-chieh Shan ....org/gmane.comp.lang.haskell.general/14961 announced] a [http://pobox.com/~oleg/ftp/Computation/resource-aware-prog/BinaryNumber.hs new library] for arbitr78 KB (11,405 words) - 03:19, 11 February 2008
- ''This article is also [http://pobox.com/~oleg/ftp/papers/number-parameterized-types.pdf available in PDF]. This Wiki page ...complete source code for the article. August 9, 2005. [http://pobox.com/~oleg/ftp/Haskell/number-param-vector-code.tar.gz]74 KB (11,649 words) - 11:34, 9 August 2012
- * [http://okmij.org/ftp/Computation/Continuations.html Oleg Kiselyov's continuation page] -- Contains plenty of excellent information o25 KB (4,039 words) - 16:39, 12 March 2024
- ...[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/ZFS-0.0 ZFS]: Oleg's Zipper FS.</p></li>76 KB (9,269 words) - 19:17, 15 August 2019
- ...e/exts/ffi.html?highlight=capiffi#extension-CApiFFI User's Guide])!'''<ref>Oleg Grenrus/phadej on <tt>capi</tt> vs <tt>ccall</tt>: [https://mail.haskell.or33 KB (5,008 words) - 16:46, 20 December 2023
- * [[Simonpj/Talk:FunWithTypeFuns | Fun with Type Functions]] Oleg Kiselyov, Simon Peyton Jones, Chung-chieh Shan (the source for this paper c42 KB (6,828 words) - 17:15, 4 February 2023
- ...also a [http://okmij.org/ftp/Computation/IO-monad-history.html web page by Oleg Kiselyov] explaining the history of the IO monad.179 KB (29,519 words) - 16:10, 30 December 2022