oleg-at-okmij.orghttps://okmij.org/ftp/MarXereokmij.org2024-03-07T00:01:00Zhttps://okmij.org/ftp/Computation/ARPL.htmlSmall array DSL embedded in OCaml.2024-03-07T00:01:00ZSmall array DSL embedded in OCaml. Added the code used in the Fall 2023 seminar course, with more explanations, examples, and also operations like tiling and searching. https://okmij.org/ftp/tagless-final/datatypes.htmlAlgebraic Data Types and Pattern-Matching2024-02-14T00:01:00ZAlgebraic Data Types and Pattern-Matching in DSLs embedded in tagless-final style https://okmij.org/ftp/meta-programming/tutorial/genc.html#gen-cGenerating C:2024-01-01T00:01:00ZGenerating C: Heterogeneous Metaprogramming -- System Description is published in ``Science of Computer Programming'' https://okmij.org/ftp/Computation/var-effect/index.html#paperFree Variable as Effect, in Practice2024-01-01T00:01:01ZFree Variable as Effect, in Practice (extended HOPE'23 paper) https://okmij.org/ftp/Computation/var-effect/index.htmlFree Variable as Effect, in Practice,2024-01-01T00:01:02ZThe complete code accompanying Free Variable as Effect, in Practice, also demonstrating the step-wise, feature-by-feature interpreter/compiler development https://okmij.org/ftp/tagless-final/Compiler/index.htmlCompilers: Incrementally and Extensibly:2024-01-01T00:01:03ZCompilers: Incrementally and Extensibly: Further, more detailed course notes https://okmij.org/ftp/tagless-final/Compiler/index.html#buildbuild tool2024-01-01T00:01:04ZThe build tool for the compiler class: a specialized version of make written in OCaml and tuned for the step-wise compiler development https://okmij.org/ftp/gengo/poly-event/index.html#polyfraQNP Textual Entailment with Polynomial Event Semantics:2024-01-01T00:01:05ZQNP Textual Entailment with Polynomial Event Semantics: full paper published in LNCS https://okmij.org/ftp/gengo/poly-event/index.html#polyrelEvents and Relative Clauses:2024-01-01T00:01:06ZEvents and Relative Clauses: further development of the polynomial event semantics. Full paper published in LNCS https://okmij.org/ftp/meta-programming/calculi.html#metaocaml-translMetaOCaml Theory and Implementation.2023-12-01T00:01:00ZMetaOCaml Theory and Implementation. New translation from nested quasiquotes to code-generation combinators: efficient, typed, easier to retrofit. It is implemented in the current MetaOCaml N114. https://okmij.org/ftp/meta-programming/mutable-var.html#addr-ofMutable Variables and Reference Types: L-values demystified and deprecated.2023-11-03T00:01:00ZMutable Variables and Reference Types: L-values demystified and deprecated. Solving the puzzle of the address-of operator https://okmij.org/ftp/tagless-final/Compiler/index.html#introCompilers: Incrementally and Extensibly,2023-10-05T00:01:00ZCompilers: Incrementally and Extensibly, a course on compilers built feature-by-feature, and fully in tagless-final style https://okmij.org/ftp/Streams.html#strymonasv2Version 2.1 of Strymonas:2023-09-19T00:01:00ZVersion 2.1 of Strymonas: greatly expanded back-end (with C99 code-generation, more numeric data types, including complex numbers), static arrays, FFI, and provisions for Wasm https://okmij.org/ftp/continuations/PPYield/index.html#gen-OCamlSimple generators in OCaml,2023-08-11T00:01:00ZSimple generators in OCaml, with full derivation, and incremental, truly linear pretty-printing