Tags on Jan de Muijnck-Hugheshttps://tyde.systems/tags/Recent content in Tags on Jan de Muijnck-HughesHugoenThu, 24 Apr 2025 00:00:00 +0000Musinghttps://tyde.systems/tags/musing/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/musing/Teachinghttps://tyde.systems/tags/teaching/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/teaching/Jarsshttps://tyde.systems/tags/jarss/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/jarss/Phdhttps://tyde.systems/tags/phd/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/phd/Emacshttps://tyde.systems/tags/emacs/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/emacs/Orgmodehttps://tyde.systems/tags/orgmode/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/orgmode/Pimhttps://tyde.systems/tags/pim/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/pim/Posterhttps://tyde.systems/tags/poster/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/poster/Researchhttps://tyde.systems/tags/research/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/research/Splihttps://tyde.systems/tags/spli/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/spli/Tydehttps://tyde.systems/tags/tyde/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/tyde/Haskellhttps://tyde.systems/tags/haskell/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/haskell/Tipshttps://tyde.systems/tags/tips/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/tips/Bibtexhttps://tyde.systems/tags/bibtex/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/bibtex/Latexhttps://tyde.systems/tags/latex/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/latex/Eelcohttps://tyde.systems/tags/eelco/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/eelco/Idrishttps://tyde.systems/tags/idris/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/idris/Reproduciblehttps://tyde.systems/tags/reproducible/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/reproducible/Type-Theoryhttps://tyde.systems/tags/type-theory/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/type-theory/Workbenchhttps://tyde.systems/tags/workbench/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/workbench/Artifacthttps://tyde.systems/tags/artifact/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/artifact/Nixhttps://tyde.systems/tags/nix/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/nix/Asghttps://tyde.systems/tags/asg/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/asg/Bidihttps://tyde.systems/tags/bidi/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/bidi/Dependent-Typeshttps://tyde.systems/tags/dependent-types/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/dependent-types/Protocolshttps://tyde.systems/tags/protocols/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/protocols/Border-Patrolhttps://tyde.systems/tags/border-patrol/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/border-patrol/Hdlhttps://tyde.systems/tags/hdl/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/hdl/Systemveriloghttps://tyde.systems/tags/systemverilog/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/systemverilog/Tdvcshttps://tyde.systems/tags/tdvcs/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/tdvcs/Type-Systemshttps://tyde.systems/tags/type-systems/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/type-systems/Typinghttps://tyde.systems/tags/typing/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/typing/Hardwarehttps://tyde.systems/tags/hardware/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/hardware/Plashttps://tyde.systems/tags/plas/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/plas/Sochttps://tyde.systems/tags/soc/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/soc/Substructural-Type-Systemshttps://tyde.systems/tags/substructural-type-systems/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/substructural-type-systems/Tddhttps://tyde.systems/tags/tdd/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/tdd/Ecoophttps://tyde.systems/tags/ecoop/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/ecoop/Msp101https://tyde.systems/tags/msp101/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/msp101/Talkhttps://tyde.systems/tags/talk/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/talk/Systemshttps://tyde.systems/tags/systems/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/systems/Advicehttps://tyde.systems/tags/advice/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/advice/Paperhttps://tyde.systems/tags/paper/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/paper/Repoduciblehttps://tyde.systems/tags/repoducible/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/repoducible/Placeshttps://tyde.systems/tags/places/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/places/Session-Typeshttps://tyde.systems/tags/session-types/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/session-types/Interfaceshttps://tyde.systems/tags/interfaces/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/interfaces/Splshttps://tyde.systems/tags/spls/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/spls/Linear-Typeshttps://tyde.systems/tags/linear-types/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/linear-types/Pl-Interesthttps://tyde.systems/tags/pl-interest/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/pl-interest/Rejectionhttps://tyde.systems/tags/rejection/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/rejection/Dependent-Types"https://tyde.systems/tags/dependent-types/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/dependent-types/Stacs-Fphttps://tyde.systems/tags/stacs-fp/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/stacs-fp/Effectshttps://tyde.systems/tags/effects/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/effects/Sessionshttps://tyde.systems/tags/sessions/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/sessions/Icfphttps://tyde.systems/tags/icfp/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/icfp/Obthttps://tyde.systems/tags/obt/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/obt/Accessibilityhttps://tyde.systems/tags/accessibility/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/accessibility/Gpcehttps://tyde.systems/tags/gpce/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/gpce/Adthttps://tyde.systems/tags/adt/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/adt/Trickshttps://tyde.systems/tags/tricks/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/tricks/Formalhttps://tyde.systems/tags/formal/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/tags/formal/