Deschide articolul original într-un tab nou Schimbarea acestei opțiuni se aplică imediat și reîncarcă pagina.
LECTURA
Înapoi la articole →

tekne.dev

tekne.dev/rss.xml
Vizitează site-ul

Cel mai recent articol

Ultima verificare

Urmăritori 0 urmăritori
Articole: 8

  1. Adventures in Type Theory 5 — Paper Planes

    (tekne.dev)

    Recapping our POPL submission on iterative expression languages and sketching region-parameterized extensions

  2. Adventures in Type Theory 4 — The Ship of Thesis

    (tekne.dev)

    From SSA to MLIR — building a typed representation of regions, basic blocks, and control-flow graphs

  3. Adventures in Type Theory 3 — Scraping By

    (tekne.dev)

    Scraping together a formalization of SSA semantics with de Bruijn indices and substitution lemmas

  4. Adventures in Type Theory 2 — Coming in Clutch

    (tekne.dev)

    Clutch semantics and continuation-passing style in type-theoretic SSA

  5. Adventures in Type Theory 1 — Locally Nameless STLC (Part 1)

    (tekne.dev)

    Formalizing the simply-typed lambda calculus using locally nameless representation in Lean 4

  6. Building An Inductive Representation of SSA

    (tekne.dev)

    Constructing an inductive representation of static single assignment form suitable for mechanized metatheory

  7. Fun with Sentence Embedding

    (tekne.dev)

    Using sentence embeddings for clustering, topic modelling, and classification of text datasets

  8. What Makes a Language Fast?

    (tekne.dev)

    Exploring how language design choices affect runtime performance through benchmarks and low-level analysis