Filter
Exclude
Time range
-
Near
Lambda World
@Lambda_World
1 Oct 2025
The Mastermind behind Refinement Types, at Lambda World 2025! Have you ever wondered if types in programming languages can do more than just describe data? What if they could think? What if your code could be proven correct before it even runs? Jorge Luis Mayoral Pérez and Juan José Madrigal Martínez invite you to dive into the fascinating world of refinement types. Learn more about Jorge, Juanjo, and their talk here: lambda.world/speakers/?speak… lambda.world/speakers/?speak… #RefinementTypes #SMTSolvers #FunctionalProgramming #TypeSystems
Jorge Luis Mayoral & Juanjo Madrigal talk

ALT Jorge Luis Mayoral & Juanjo Madrigal talk
4
10
474
Functional Scala 2024
@FunScalaConf
20 Feb 2023
Gain insights into the benefits and limitations of ad hoc subtyping and compile-time verification of static data with "Pursuing Practical Refinement Types" by Michael Perucca from Functional Scala 2022. 🎥 #Scala3 #refinementtypes youtube.com/watch?v=oYTGXNrM…

Pursuing Practical Refinement Types by Michael Perucca

"Pursuing Practical Refinement Types" by Michael Perucca at Functio...

youtube.com
4
9
834
IMDEA Software
@IMDEA_Software
7 Oct 2022
🔵 The researcher Elizaveta Vasilenko presented 📄“Safe Couplings: Coupled Refinement Types” at ICFP'22. The paper is also co-authored by @nikivazou and Gilles Barthe. 🎥 Watch her presentation 👇🏼 #ICFP22 #RefinementTypes
Lisa Vasilenko@oquechy
6 Oct 2022
Is it me???? youtu.be/4LV8a8cz_w0
1
3
UIowa Computer Science@UIowaCS
8 Dec 2021
📢Join us 💻 12/10 4pm CT for "#RefinementTypes for #SecureWebApplications" @RanjitJhala will present STORM, a new web framework for #developers to build #ModelViewController apps, with #CompileTime enforcement of #SecurityPolicies. 🖱️info (inc. url): bit.ly/jhala_12_10 🔏🕸️
University of Iowa Computer Science Colloquium Series Refinement Types for Secure Web Applications Ranjit Jhala Friday, December 10, 2021 4:00 p.m. CT (Online) Abstract and more at cs.uiowa.edu Ranjit Jhala is a professor of Computer Science and Engineering at the University of California, San Diego. He works on algorithms and tools that help engineer reliable computer systems. His work draws from and contributes to the areas of Model Checking, Program Analysis, and Automated Deduction, and Type Systems. He is fortunate to have helped create several influential systems including the BLAST software model checker, RELAY race detector, MACE/ MC distributed language and model checker, and Liquid Types. He received ACM SIGPLAN's Robin Milner Young Researcher Award in 2018.

ALT University of Iowa Computer Science Colloquium Series Refinement Types for Secure Web Applications Ranjit Jhala Friday, December 10, 2021 4:00 p.m. CT (Online) Abstract and more at cs.uiowa.edu Ranjit Jhala is a professor of Computer Science and Engineering at the University of California, San Diego. He works on algorithms and tools that help engineer reliable computer systems. His work draws from and contributes to the areas of Model Checking, Program Analysis, and Automated Deduction, and Type Systems. He is fortunate to have helped create several influential systems including the BLAST software model checker, RELAY race detector, MACE/ MC distributed language and model checker, and Liquid Types. He received ACM SIGPLAN's Robin Milner Young Researcher Award in 2018.

1
3
8
Signify Technology@Signify_Tech
30 May 2021
Happy Sunday! Lots of exciting things in Scala 3!! What's gone? What's new? Check out these interesting reads showcasing the new capabilities of Scala 3. #programming #learntocode #Scala #Scala3 #opaquetypes #refinementtypes tinyurl.com/ye9cg46v
1
Skills Matter@skillsmatter
5 Nov 2020
It was all capped off by @EricBond10 of @47deg offering examples and showing how to work with #RefinementTypes and #DependentTypes in #Haskell
1
6
Skills Matter@skillsmatter
30 Oct 2020
#Haskell is known for its strong #statictyping but there are even stronger typing disciplines: #RefinementTypes and #DependentTypes. Next week @EricBond10 joins the #haskellX virtual conference to offer a brief introduction to both. ⚡️ Learn more: ow.ly/BXsH50C4gPY
7
16
Yoshihiro Imai@yoshihiro503
19 Feb 2020
わくわくする京都大学のICTのイベントにきています。 #refinementTypes #Tezos #形式手法 #ブロックチェーン
2
4
Functional Conference@FnConf
1 Feb 2019
Testing in the world of Functional Programming by Luka Jacobowitz(@LukaJacobowitz) at #FnConf18 youtu.be/OjfupwoM_IU #FunctionalProgramming #Testing #PropertyBasedTesting #RefinementTypes #TestingSideEffects
2
13
Papers We Love (@paperswelove@mstdn.io)@papers_we_love
21 Oct 2018
Gradual Liquid Type Inference - Vazou, et al. buff.ly/2S4AV79 #refinementtypes #typeinference #pl
1
4
marcoonroad@marcoonroad
14 Jul 2018
What are some features new to Perl 6 that should be adopted by other languages? by Marco Aurélio da Silva quora.com/What-are-some-feat… #perl6 #refinementTypes #subsetTypes

What are some features new to Perl 6 that should be adopted by other languages?

Marco Aurélio da Silva's answer: I would add refinements types. They’re lightweight dependent types in some sense. Perl 6 provides a hybrid/gradual approach where the types are static, but refineme...

quora.com
2
3
Yoshihiro Imai@yoshihiro503
6 Mar 2018
「Refinement Typeは 0以上のintとかより詳しい型を表現できる, ただしUniverse propertyしか証明できない」 #RefinementTypes #jssst_ppl2018
2
1
Yoshihiro Imai@yoshihiro503
2 Dec 2017
「Haskellの堅牢性はCと同レベル」「そこでLiquid Haskellの Refinement Types」 #Haskell #RefinementTypes #NGK2017B
10
9
Cake Solutions Ltd@cakesolutions
14 Sep 2017
Understanding MergeSort Through Types (Part 1) hubs.ly/H08DMNk0 by @cakesolutions #Scala #RefinementTypes
9
12
Steve Jones (@sjfloat@mastodon.social)@sjfloat
14 Jan 2016
Simple #RefinementTypes for #OCaml cedeela.fr/simple-refinement…
Load more