Search results

• HWN/es/2006-10-24
  Funciones a nivel de tipo. Oleg Kiselyov [14]describió cómo usar
  5 KB (745 words) - 00:51, 25 October 2006
• HaskellImplementorsWorkshop/2011
  * [http://www.mathematik.uni-marburg.de/~lobachev Oleg Lobachev] (University of Marburg)
  4 KB (513 words) - 02:57, 25 July 2021
• Haskell Quiz/Secret Santas/Solution Kuklewicz
  ...this wiki and code from [http://okmij.org/ftp/Haskell/perfect-shuffle.txt oleg] for the shuffling.
  5 KB (840 words) - 10:56, 13 January 2007
• BudapestHackathon2014
  # Oleg Baskakov
  4 KB (631 words) - 20:46, 13 June 2016
• ZuriHac2016/Attendees
  | Oleg Grenrus || Futurice
  4 KB (495 words) - 17:39, 20 July 2016
• The Monad.Reader/Previous issues
  :Oleg Kiselyov
  4 KB (570 words) - 16:55, 25 August 2011
• Research papers/Authors
  *[http://okmij.org/ftp/ Oleg Kiselyov]
  8 KB (1,251 words) - 05:43, 1 September 2022
• HaWiki migration
  * Oleg Kiselyov
  21 KB (2,417 words) - 23:19, 9 August 2021
• GHC/AdvancedOverlap
  Oleg Kiselyov and Simon Peyton-Jones (Apr 2008)
  10 KB (1,575 words) - 13:27, 14 January 2015
• HWN/es/2006-10-19
  Terminología GADT. Oleg Kiselyov [22]discute que el término
  8 KB (1,191 words) - 01:56, 21 October 2006
• Research papers/Monads and arrows
  :Oleg Kiselyov, v1.1, Sep 2, 2003, Originally posted as "Re: proving the monad la :Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman and Amr Sabry, Functional Pe
  18 KB (2,331 words) - 09:02, 1 September 2022
• Research papers/Functional pearls
  ...T.pdf Backtracking, interleaving and and terminating monad transformers] - Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman and Amr Sabry. ...mplicit configurations--or and type classes reflect the values of types] - Oleg Kiselyov and Chung-chieh Shan.
  20 KB (2,961 words) - 16:50, 6 February 2024
• Untypechecking
  oleg at pobox.com oleg at pobox.com
  20 KB (3,458 words) - 15:19, 6 February 2021
• Library/ArrayRef
  I wish to thank Simon Marlow and especially Oleg Kiselyov who proposed
  13 KB (2,025 words) - 19:32, 23 February 2008
• Monad
  * [http://okmij.org/ftp/Computation/monads.html More monads by Oleg]
  13 KB (1,870 words) - 11:14, 22 October 2022
• Research papers/Type systems
  :Oleg Kiselyov, The Monad.Reader. IssueFive. Oct 2nd, 2005 :Oleg Kiselyov, Chung-chieh Shan, Proceedings of the 2004 ACM SIGPLAN workshop on
  26 KB (3,569 words) - 10:04, 1 September 2022
• Zipper
  [http://pobox.com/~oleg/ftp/Computation/Continuations.html#zipper Generic Zipper and its applicatio :Oleg Kiselyov's zipper-based [[Libraries and tools/Operating system|file server/
  10 KB (1,623 words) - 21:10, 26 June 2023
• HWN/es/2006-10-31
  HLists estáticamente enforzadas abiertas, infinitas. Oleg Kiselyov
  11 KB (1,674 words) - 08:26, 2 November 2007
• Continuation
  :Oleg Kiselyov's [[zipper]]-based [[Libraries and tools/Operating system|file ser
  10 KB (1,560 words) - 12:02, 15 April 2024
• The Monad.Reader/Issue3/Functional Programming vs Object Oriented Programming
  The good news is that Oleg Kiselyov, Ralf Lämmel, and Keean Schupke have shown us how to build an
  10 KB (1,718 words) - 07:14, 10 August 2022
• GADTs for dummies
  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
• Applications and libraries/Operating system
  :Oleg Kiselyov's [[zipper]]-based file server/OS where threading and exceptions a
  11 KB (1,663 words) - 19:17, 15 August 2019
• Research papers/Generics
  :Alexey Rodriguez Yakushev, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliviera. In Andy Gill, editor, Proceedings of the
  15 KB (1,992 words) - 19:49, 26 May 2022
• QuotesPage
  <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
• WebApplicationInterface
  ...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
• Research papers/Data structures
  :Oleg Kiselyov, Ralf Lämmel, and Keean Schupke. Haskell '04: Proceedings of the
  14 KB (1,953 words) - 00:54, 5 June 2022
• News/2006
  <li><p><em>Typed symbolic differentiation</em>. Oleg Kiselyov </em>. Oleg Kiselyov
  93 KB (13,836 words) - 23:40, 14 August 2019
• Hackage wiki page per project discussion
  * newanon@yandex.ru (Oleg Ivanov)
  18 KB (3,049 words) - 10:29, 7 February 2021
• News/2007
  <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 arbitr
  78 KB (11,405 words) - 03:19, 11 February 2008
• The Monad.Reader/Issue5/Number Param Types
  ''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
• Library/CC-delcont
  * [http://okmij.org/ftp/Computation/Continuations.html Oleg Kiselyov's continuation page] -- Contains plenty of excellent information o
  25 KB (4,039 words) - 16:39, 12 March 2024
• Old news
  ...[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
• Foreign Function Interface
  ...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.or
  33 KB (5,008 words) - 16:46, 20 December 2023
• GHC/Type families
  * [[Simonpj/Talk:FunWithTypeFuns | Fun with Type Functions]] Oleg Kiselyov, Simon Peyton Jones, Chung-chieh Shan (the source for this paper c
  42 KB (6,828 words) - 17:15, 4 February 2023
• Typeclassopedia
  ...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

View (previous 250 | next 250) (20 | 50 | 100 | 250 | 500)