abstract-machines

There are 0 repository under abstract-machines topic.

• dhil / phd-dissertation

  A summary of my activities during the past four years

  algebraic-effectseffect-handlerscontinuationsabstract-machinescontinuation-passing-styleexpressivityfunctional-programmingresearchphd-thesisexpressivenesscontrol-effectscomputational-effectsunixphd-dissertationeffect-handler-oriented-programming
  Language:TeX 27

• zejiran / languages-and-machines

  Collection of projects made on a language and computation theory course at Universidad de los Andes

  abstract-machinesautomatafinite-state-transducerslanguage-processingpetri-netsturing-machineuniandes
  Language:HTML 2

• pradyumnameena / COL226-Programming-Languages

  This repository consists of various assignments given by Prof. Sanjiva in the COL226 course.

  abstract-machinesfunctional-programmingkrivine-machineocamlprologsecdtypechecker
  Language:OCaml 1

• sacerdot / Crumbling-Abstract-Machines

  This repository contains the formalization of part of the theory behind the Crumbling Abstract Machines, that has been introduced and partially developed in Beniamino Accattoli, Andrea Condoluci, Giulio Guerrieri, and Claudio Sacerdoti Coen. 2019. Crumbling Abstract Machines. In Proceedings of ACM Conference (Conference’17). ACM, New York, NY,USA,39 pages.

  abstract-machinesformalizationlambda-calculus
  Language:Mathematica 1

• fixedpoint / tag

  A Tag system processor

  dynamical-systemsabstract-machines
  Language:C 0

• iafisher / cs399

  My senior thesis in computer science

  faceted-executionabstract-machineslambda-calculusabstract-interpretation
  Language:TeX 0

• sankethire / COL226-Programming-Languages

  Assignments under the Programming Languages Course

  ocamlocamllexocamlyaccfunctional-programmingabstract-machines
  Language:OCaml