ITT-Flavored Calculus of Constructions Type Checker
https://gist.github.com/VictorTaelin/dd291148ee59376873374aab0fd3dd78
https://gist.github.com/VictorTaelin/dd291148ee59376873374aab0fd3dd78
Gist
ITT-Flavored Calculus of Constructions Type Checker
ITT-Flavored Calculus of Constructions Type Checker - itt-coc.ts
🤯1
Time- and Size-Efficient Supercompilation
https://www.diva-portal.org/smash/get/diva2:999818/FULLTEXT01.pdf
https://www.diva-portal.org/smash/get/diva2:999818/FULLTEXT01.pdf
❤4
A Self-Applicable Supercompiler
https://refal.botik.ru/library/Nemytykh-Pinchuk-Turchin_A_Self-Applicable_Supercompiler_(LNCS_vol_1110,_1996,_pp_322-337).pdf
https://refal.botik.ru/library/Nemytykh-Pinchuk-Turchin_A_Self-Applicable_Supercompiler_(LNCS_vol_1110,_1996,_pp_322-337).pdf
❤1😱1
Why is Idris 2 so much faster than Idris 1?
https://www.type-driven.org.uk/edwinb/category/posts.html
https://www.type-driven.org.uk/edwinb/category/posts.html
www.type-driven.org.uk
Edwin Brady Posts
❤2
Typelevel Brainfuck in Haskell; Brainfuck implemented solely in Haskell's type system
https://github.com/toptobes/typefuck-haskell
https://github.com/toptobes/typefuck-haskell
GitHub
GitHub - toptobes/typefuck-haskell: Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)
Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell) - GitHub - toptobes/typefuck-haskell: Typelevel Brainfuck; Brainfuck implemented solely in Ha...
❤2
A tutorial implementation of dynamic pattern unification
https://adam.gundry.co.uk/pub/pattern-unify/pattern-unification-2012-07-10.pdf
https://adam.gundry.co.uk/pub/pattern-unify/pattern-unification-2012-07-10.pdf
🔥1
Convergence of program transformers in the metric space of trees
https://www.sciencedirect.com/science/article/pii/S016764239900026X
https://www.sciencedirect.com/science/article/pii/S016764239900026X
🤔1
Metavariables: their Implementation and Use in Program Transformation
https://pat.keldysh.ru/~roman/doc/Turchin/1995-Turchin_Nemytykh--Metavariables_their_Implementation_and_Use_in_Program_Transformation.pdf
https://pat.keldysh.ru/~roman/doc/Turchin/1995-Turchin_Nemytykh--Metavariables_their_Implementation_and_Use_in_Program_Transformation.pdf
👎1🔥1
Solving SAT via interaction net superpositions
https://gist.github.com/VictorTaelin/9061306220929f04e7e6980f23ade615
https://gist.github.com/VictorTaelin/9061306220929f04e7e6980f23ade615
Gist
Simple SAT Solver via superpositions
Simple SAT Solver via superpositions. GitHub Gist: instantly share code, notes, and snippets.
🔥1🤔1
Go: What We Got Right, What We Got Wrong
https://commandcenter.blogspot.com/2024/01/what-we-got-right-what-we-got-wrong.html
https://commandcenter.blogspot.com/2024/01/what-we-got-right-what-we-got-wrong.html
Blogspot
What We Got Right, What We Got Wrong
This is my closing talk ( video ) from the GopherConAU conference in Sydney, given November 10, 2023, the 14th anniversary of Go being lau...
❤3
Towards a Programming Language for Interaction Nets
https://core.ac.uk/download/pdf/82392928.pdf
https://core.ac.uk/download/pdf/82392928.pdf
🔥1🤯1
Program transformation with metasystem transitions
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/F0D67B654FB2C053A961551C357B92E9/S0956796800000757a.pdf/program_transformation_with_metasystem_transitions.pdf
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/F0D67B654FB2C053A961551C357B92E9/S0956796800000757a.pdf/program_transformation_with_metasystem_transitions.pdf
🗿1
Occam’s Razor in Metacomputation: the Notion of a Perfect Process Tree
https://www.xoft.ru/~anklimov/papers/1993.Occam's.Razor.in.Metacompuation.pdf
https://www.xoft.ru/~anklimov/papers/1993.Occam's.Razor.in.Metacompuation.pdf
👍1
An Alternative to Closure Conversion and to Restricted Closures
https://www.artima.com/weblogs/viewpost.jsp?thread=220920
https://www.artima.com/weblogs/viewpost.jsp?thread=220920
Artima
An Alternative to Closure Conversion and to Restricted Closures
🔥1
Reified Lambda Functions
https://www.artima.com/weblogs/viewpost.jsp?thread=277879
https://www.artima.com/weblogs/viewpost.jsp?thread=277879
Artima
Reified Lambda Functions
👍1