🦞🌯 Lobster Roll

Thread

A Dependent Nominal Type System for Static Analysis of Memory in Low Level Code (codex.top)
HN 1 pts 0 comments by matt_d Sep 30, 2024 thread

Stories related to "A Dependent Nominal Type System for Static Analysis of Memory in Low Level Code" across the full archive.

A Dependent Nominal Type System for Static Analysis of Memory in Low Level Code (codex.top)
HN 1 pts 0 comments by matt_d Sep 30, 2024 Programming Languages / CS Theory thread
An experiment about static and dynamic type systems: doubts about the positive impact of static type (cs.washington.edu)
L 1 pts 2 comments by andymatuschak Oct 26, 2012 compscipdf Programming Languages / CS Theory thread
A static type system is a wonderful message to the present and future (productiverage.com)
L 30 pts 8 comments by DanTup Jun 1, 2016 programming Programming (General)Programming Languages / CS Theory thread
Tyr: A Dependent, Type System for Spatial, Memory Safety in LLVM (2016) (core.ac.uk)
L 6 pts 0 comments by nickpsecurity Mar 3, 2018 compilerspdfplt Systems / Low-Level / OSProgramming Languages / CS Theory thread
Dependent type systems as macros (dl.acm.org)
L 22 pts 2 comments by WilhelmVonWeiner Jan 28, 2020 lispplt Programming Languages / CS Theory thread
Neut - A dependently-typed programming language with static memory management (github.com)
L 33 pts 0 comments by sulami May 23, 2020 compilerslisp Systems / Low-Level / OSProgramming (General)Programming Languages / CS TheoryProductivity / Career / Business thread
BUSY - a lean, statically typed, cross-platform build system for GCC, CLANG and MSVC (github.com)
L 6 pts 0 comments by Rochus Aug 12, 2022 cc++compilersdevopsprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS TheoryData / Databases / Infrastructure thread
The HoloBoard augmented-reality system lets people type independently (spectrum.ieee.org)
HN 3 pts 0 comments by geox May 14, 2025 thread
SATySFi: A statically-typed, functional typesetting system (github.com)
L 10 pts 1 comments by agnishom Jun 23, 2025 programming Programming (General) thread
SATySFi: A statically-typed, functional typesetting system (github.com)
HN 2 pts 0 comments by Bogdanp Jun 23, 2025 thread
A multivalued language with a dependent type system. (A precursor to Epic Verse [pdf] (leafpetersen.com)
HN 1 pts 0 comments by fanf2 Jun 23, 2025 Programming Languages / CS Theory thread
Observations on Errors, Corrections, & Trust of Dependent Systems (perspectives.mvdirona.com)
L 2 pts 0 comments by brycv Aug 24, 2012 hardwarescaling Maker / DIY / HardwareProductivity / Career / Business thread
A Practical Optional Type System for Clojure (s3.amazonaws.com)
L 2 pts 1 comments by tobym Oct 25, 2012 compscilisppdf Programming Languages / CS Theory thread
Alan Watts on static vs dynamic type adherents (youtube.com)
L 7 pts 1 comments by fogus Nov 26, 2012 philosophyvideo Culture / Philosophy / History / Reading thread
Typo: a programming language that runs in Haskell's type system (github.com)
L 4 pts 0 comments by puffnfresh Aug 7, 2013 haskellprogramming Programming (General)Programming Languages / CS Theory thread
Idris is a general purpose pure functional programming language with dependent types. (idris-lang.org)
L 3 pts 0 comments by SeanTAllen Oct 4, 2013 programming Programming (General)Programming Languages / CS Theory thread
Purescript - small strongly, statically typed compile-to-JS language (functorial.com)
L 7 pts 0 comments by puffnfresh Oct 30, 2013 javascript Web Development thread
Dependent types for JavaScript (goto.ucsd.edu)
L 1 pts 0 comments by SeanTAllen Dec 12, 2013 javascript Web Development thread
typo: A programming language that runs in Haskell's type system. (github.com)
L 6 pts 2 comments by SeanTAllen Dec 31, 2013 haskellprogramming Programming (General)Programming Languages / CS Theory thread
Go’s Type System Is An Embarrassment (functionwhatwhat.com)
L 6 pts 12 comments by zod000 Jan 6, 2014 goprogramming Programming (General)Programming Languages / CS Theory thread
What is a Type System for? (michaelrbernste.in)
L 23 pts 3 comments by mrb Feb 17, 2014 compsci Programming Languages / CS Theory thread
An Optional Type System for Lua (github.com)
L 11 pts 0 comments by jturner Feb 28, 2014 luarelease Programming (General)Programming Languages / CS Theory thread
Scala vs Idris: Dependent Types, Now and in the Future (infoq.com)
L 1 pts 0 comments by SeanTAllen Mar 20, 2014 compsciscalavideo Programming Languages / CS Theory thread
What To Know Before Debating Type Systems (cdsmith.wordpress.com)
L 35 pts 35 comments by tobym May 7, 2014 compsci Programming Languages / CS Theory thread
Certified Programming with Dependent Types, by Adam Chlipala (adam.chlipala.net)
L 19 pts 13 comments by kragen May 8, 2014 bookmathprogramming Programming (General)Science / Math / PhysicsCulture / Philosophy / History / Reading thread
The author writes: > "This is the web site for a textbook about practical engineering with the Coq proof assistant. The focus is on building programs with proofs of correctness, using dependent types and scripted proof automation. > "I'm following an unusual philosophy in this book, so it may ...
Verified Networking using Dependent Types (simonjf.com)
L 17 pts 1 comments by inactive-user May 25, 2014 compscinetworkingpdf Programming Languages / CS TheoryData / Databases / Infrastructure thread
Tidal Lock: optional static type checking and inference for Lua (lua-users.org)
L 6 pts 0 comments by animatronic May 27, 2014 compscilua Programming (General)Programming Languages / CS Theory thread
Why Dependently Typed Programming Will (One Day) Rock Your World (ejenk.com)
L 17 pts 7 comments by bitemyapp Jul 1, 2014 programming Programming (General) thread
>proof that your program will terminate Or that a coprogram will be productive (services/servers/streaming fall under this). Most programs these days operate on codata, so termination on a per-destructed-codata-component basis is productivity if I understand correctly. (ejenk touches on thi...
DOT (Dependent Object Types) calculus and Scala (parleys.com)
L 9 pts 1 comments by BruceM Jul 4, 2014 programmingscalavideo Programming (General)Programming Languages / CS TheoryScience / Math / Physics thread
Integrating Dependent and Linear Types (draft) (cs.bham.ac.uk)
L 4 pts 1 comments by BruceM Jul 10, 2014 compscipdfprogramming Programming (General)Programming Languages / CS Theory thread