🦞🌯 Lobster Roll

Thread

Practical Type Inference with Levels (PLDI 2025 – Distinguished Paper Award) (pldi25.sigplan.org)
HN 2 pts 0 comments by matt_d Jun 21, 2025 thread

Stories related to "Practical Type Inference with Levels (PLDI 2025 – Distinguished Paper Award)" across the full archive.

Practical Type Inference with Levels (PLDI 2025 – Distinguished Paper Award) (pldi25.sigplan.org)
HN 2 pts 0 comments by matt_d Jun 21, 2025 thread
Practical Type Inference Based on Success Typings (2006) (it.uu.se)
L 8 pts 0 comments by alexandria Jun 25, 2019 compilerserlangpdfplt Systems / Low-Level / OSProgramming Languages / CS Theory thread
Practical type inference for arbitrary-rank types (2007) (microsoft.com)
L 5 pts 0 comments by calvin May 30, 2020 haskellpdfplt Programming Languages / CS Theory thread
Practical Type Inference: High‑Throughput Recovery of Real‑World Types (arxiv.org)
HN 1 pts 0 comments by matt_d 1d ago thread
Making the most of Scala's (extremely limited) type inference (pchiusano.blogspot.com)
L 3 pts 0 comments by tobym Sep 12, 2012 compsci Programming Languages / CS Theory 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
Fast and Precise Hybrid Type Inference for JavaScript (rfrn.org)
L 3 pts 0 comments by SeanTAllen Mar 1, 2014 javascriptpdf Web Development thread
Why do we need Type Inference from Java 7? (coolcoder.in)
L 1 pts 1 comments by codeon1 Mar 14, 2014 javaprogramming Programming (General) thread
Extending Hindley-Milner Type Inference with Coercive Structural Subtyping (www21.in.tum.de)
L 1 pts 0 comments by SeanTAllen Apr 14, 2014 compscipdf Programming Languages / CS Theory thread
Practical Types Brainstorming Event (staff.computing.dundee.ac.uk)
L 1 pts 0 comments by steshaw May 12, 2014 compsciprogramming Programming (General)Programming Languages / CS Theory 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
An experimental new type inference scheme for Rust (smallcultfollowing.com)
L 1 pts 0 comments by pushcx Jul 9, 2014 rust Systems / Low-Level / OSProgramming Languages / CS Theory thread
Practical Optional Types for Clojure (frenchy64.github.io)
L 3 pts 2 comments by julienxx Jan 24, 2016 lisppdf Programming Languages / CS Theory thread
Improving Type Error Localization for Languages with Type Inference (youtube.com)
L 5 pts 0 comments by mightybyte Apr 27, 2016 haskellvideo Programming Languages / CS Theory thread
Strategic Scala Style: Practical Type Safety (lihaoyi.com)
L 4 pts 0 comments by stephenjudkins Apr 30, 2016 practicesscala Programming Languages / CS TheoryProductivity / Career / Business thread
Practical Dependent Types in Haskell: Type-Safe Neural Networks (Part 1) (blog.jle.im)
L 14 pts 0 comments by pushcx May 26, 2016 haskell AI / Machine LearningProgramming Languages / CS Theory thread
Practical Dependent Types in Haskell 2: Existential Neural Networks and Types at Runtime (blog.jle.im)
L 8 pts 0 comments by jle Jun 30, 2016 haskell AI / Machine LearningProgramming Languages / CS Theory thread
PySonar: a type inferencer and indexer for Python (yinwang0.wordpress.com)
L 1 pts 0 comments by bowyakka Aug 16, 2016 programmingpython Programming (General)Programming Languages / CS Theory thread
TypeScript 2.1 RC: Better Inference, Async Functions, and More (blogs.msdn.microsoft.com)
L 4 pts 0 comments by joshuacc Nov 9, 2016 javascript Web Development thread
ML Type Inference and Unification (cs.colorado.edu)
L 15 pts 0 comments by etc Dec 4, 2016 mlpdf Programming Languages / CS Theory thread
TypeScript 2.1: Improved Inference for Literal Types (blog.mariusschulz.com)
L 4 pts 0 comments by joshuacc Jan 27, 2017 javascript Web Development thread
A Type Inference Implementation Adventure (fineshambles.com)
L 7 pts 0 comments by pushcx Aug 13, 2017 compilershaskell Systems / Low-Level / OSProgramming Languages / CS Theory thread
Learn how to implement Hindley-Milner type inference - Vivint's Game of Codes (goc.vivint.com)
L 13 pts 1 comments by jtolio Sep 19, 2017 eventprogramming Programming (General)Gaming / Retro Computing thread
Writing Practical, Memory Management Code with a Strictly-Typed, Assembly Language (2006) (web.yl.is.s.u-tokyo.ac.jp)
L 9 pts 2 comments by nickpsecurity Feb 16, 2018 assemblyformalmethodspdfsecurity Systems / Low-Level / OSProgramming (General)Programming Languages / CS TheorySecurity / PrivacyProductivity / Career / Business thread
Typed Operating System can be downloaded [here](http://web.yl.is.s.u-tokyo.ac.jp/~tosh/tos/).
JDK 10 brings local type inference with var keyword (benjiweber.co.uk)
L 21 pts 2 comments by magikid Mar 3, 2018 java Programming (General) thread
Type Inference by Solving Constraints (calebh.io)
L 11 pts 0 comments by calvin Mar 4, 2018 dotnetmlplt Programming (General)Programming Languages / CS Theory thread
BCG vaccine leads to long-term improvement in blood sugar levels in type 1 diabetes patients (nature.com)
~ 6 pts 1 comments by unknown Aug 2, 2018 ~health Health / Fitness / Lifestyle thread
Epigram: Practical Programming with Dependent Types (2004) (cs.ru.nl)
L 19 pts 26 comments by pushcx Sep 14, 2018 pdfplt Programming (General)Programming Languages / CS Theory thread
Automatic Haskell type inference from JSON input (github.com)
L 9 pts 1 comments by tigerfinch Sep 18, 2018 haskell Programming Languages / CS Theory thread
Example implementation of Algorithm W for Hindley-Milner type inference (github.com)
L 8 pts 0 comments by SeanW Sep 26, 2018 haskellmath Programming Languages / CS TheoryScience / Math / Physics thread
This tutorial is the typeset output of a literate Haskell script and can be directly loaded into an Haskell interpreter in order to play with it.