🦞🌯 Lobster Roll

Thread

Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML (2001) (legacy.cs.indiana.edu)

Stories related to "Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML (2001)" across the full archive.

Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML (cs.indiana.edu)
Macros as Multi-Stage Computations - Type-Safe, Generative, Binding Macros in MacroML (2001) (cs.rice.edu)
Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML (2001) (legacy.cs.indiana.edu)
New Vaccine Can Completely Reverse Autoimmune Diseases Like Multiple Sclerosis, Type 1 Diabetes, and Crohn’s Disease (scitechdaily.com)
Researchers from Pritzker Molecular Engineering, under the guidance of Prof. Jeffrey Hubbell, demonstrated that their compound can eliminate the autoimmune response linked to multiple sclerosis. Researchers at the University of Chicago’s Pritzker School of Molecular Engineering (PME) have deve...
A practical unification of multi-stage programming and macros [pdf] (biboudis.github.io)
Algebraic Datatypes in Typed Racket with macros (lexi-lambda.github.io)
Bringing typed, modular macros to OCaml (oliviernicole.github.io)
Building Erlang Docker Images with Multi-Stage Builds (spacetimeinsight.com)
Type Systems as Macros (2017) (ccs.neu.edu)
Abstract: "We present TURNSTILE, a metalanguage for creating typed embedded languages. To implement the type system, programmers write type checking rules resembling traditional judgment syntax. To implement the semantics, they incorporate elaborations into these rules. TURNSTILE critically depends ...
Bringing macros to Python by abusing type annotations (tinkering.xyz)
relit: Hygienic typed literal macros for Reason (github.com)
Multiple inheritance with custom Object setPrototypesOf() utility (made using ES6 Proxy) (github.com)
Relit: Typed Literal Macros for Reason (OCaml) (github.com)
Type Systems as Macros (ccs.neu.edu)
Multi-stage Docker builds for Python: virtualenv, --user, and other methods (pythonspeed.com)
Multi-Stage Dockerfiles and Python Virtualenvs (pmac.io)
Why your Docker multi-stage build is surprisingly slow (pythonspeed.com)
How to use docker multi-stage build to create optimal images for dev and production (geshan.com.np)
Dependent type systems as macros (dl.acm.org)
Caching, Parallelism in Docker multi-stage builds (kgrz.io)
Store multiple types in a single std::map in C++ with std::any, just like a python dict (raymii.org)
Less is more: multiparty session types revisited (dl.acm.org)
Foundations of Dawn: The Untyped Multistack Concatenative Calculus (dawn-lang.org)
Your Blood Type May Predict Your Risk of Having a Stroke Before Age 60 (scitechdaily.com)
Research Could Lead to Potential New Ways To Predict and Prevent Strokes in Young Adults A person’s blood type may be linked to their risk of having an early stroke, according to a new meta-analysis of research. The meta-analysis included all available data from genetic studies focusing on ischemic ...
Blood Type Linked to Risk of Stroke Before Age 60 (scitechdaily.com)
Blood Type and Early Stroke Risk According to a new meta-analysis, gene variants associated with a person’s blood type may be linked to their risk of stroke before age 60. The study included all available data from genetic studies that included young adult ischemic stroke, which is caused by a block...
Staged programming with typeclasses (tweag.io)
Brain Tissue Study Uncovers New Genes Linked to Multiple Sclerosis (scitechdaily.com)
New research published in the Annals of Clinical and Translational Neurology on December 7 has identified three genes and their expressed proteins that may be involved in the pathogenesis of multiple sclerosis. By comparing information on the genes and proteins expressed in the brains of thousands o...
Diabetes Medications Linked to Multiple Sclerosis: New Study Uncovers Surprising Connection (scitechdaily.com)
The University of Arizona Center for Innovation in Brain Science conducted a study to investigate whether taking medication for Type 2 diabetes increases the likelihood of developing multiple sclerosis. According to a study from the University of Arizona Health Sciences, people over the age of 45 wi...
Poor Gut Health May Drive Multiple Sclerosis — But a Better Diet May Ease It (scitechdaily.com)
A Rutgers study links gut microbiome changes to MS progression, highlighting fecal Lcn-2 as a marker of gut inflammation. Scientists from the Department of Neurology at Rutgers Robert Wood Johnson Medical School have traced a previously observed connection between the gut microbiome, made up of tiny...
Teenagers Beware: Poor Sleep Quality May Increase Risk of Multiple Sclerosis (scitechdaily.com)
Getting Adequate Amounts of Restorative Sleep During Youth May Help Prevent the Onset of the Condition A case-control study published in the Journal of Neurology Neurosurgery & Psychiatry suggests that a lack of quality sleep during adolescence may increase the likelihood of developing multiple ...