call-cc

There are 0 repository under call-cc topic.

• thamugadi / call-cc-krivine

  A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.

  call-cchaskellkrivine-machinelambda-calculus
  Language:Haskell 13

• wompking / hattrick

  An assignment-based esolang implementing a version of call/cc.

  esolangcall-ccloopssimpleesoteric-programming-languagereverse-polish-notationrpn
  Language:Python 4

• Matheritasiv / control

  Several control structures implemented by `call/cc` in scheme language

  call-cccontrol-structuresdelimited-continuationsamb-operatorcoroutineyield-operator
  Language:Scheme 1

• alinje / krivine-machine

  Implementation of the 2007 Krivine machine

  call-cclambda-calculusprogramming-language
  Language:Agda