Top Tweets for #refinementtypes
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
https://t.co/UKwWm0o5Ep
🔵 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
Is it me???? https://t.co/CHvaoqPbtM
📢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): https://t.co/YH0ogLYlVF 🔏🕸️

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
https://t.co/fAdZmoqtCN
It was all capped off by @EricBond10 of @47deg offering examples and showing how to work with #RefinementTypes and #DependentTypes in #Haskell

#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: https://t.co/GpeStGarj7


Testing in the world of Functional Programming by Luka Jacobowitz(@LukaJacobowitz) at #FnConf18
https://t.co/g32U8EmCo5
#FunctionalProgramming #Testing #PropertyBasedTesting #RefinementTypes #TestingSideEffects
Gradual Liquid Type Inference - Vazou, et al. https://t.co/tKQYKjYy67
#refinementtypes #typeinference #pl

What are some features new to Perl 6 that should be adopted by other languages? by Marco Aurélio da Silva
https://t.co/0qQayYf3Ki
#perl6 #refinementTypes #subsetTypes
「Refinement Typeは 0以上のintとかより詳しい型を表現できる, ただしUniverse propertyしか証明できない」 #RefinementTypes #jssst_ppl2018
Understanding MergeSort Through Types (Part 1) https://t.co/rgLyKG1M4n by @cakesolutions #Scala #RefinementTypes
Last Seen Hashtags on Sotwe
Teenagee #momson
Seen from Mexico
NoLimit
Seen from United States
maga18
Seen from United States
UgaUga
Seen from Brazil
trainsex
Seen from Turkey
ankaratraveſti
Seen from Turkey
hataygay
cderhijab
Seen from Indonesia
momson nolimit
Seen from Saudi Arabia
NOLIMIT()*** +filter:native_video
Seen from Turkey
Most Popular Users

Elon Musk 
@elonmusk
240.4M followers

Barack Obama 
@barackobama
119.3M followers

Donald J. Trump 
@realdonaldtrump
111.7M followers

Cristiano Ronaldo 
@cristiano
110.1M followers

Narendra Modi 
@narendramodi
107M followers

Rihanna 
@rihanna
97.5M followers

NASA 
@nasa
92.1M followers

Justin Bieber 
@justinbieber
90.8M followers

KATY PERRY 
@katyperry
87.4M followers

Taylor Swift 
@taylorswift13
81.3M followers

Lady Gaga 
@ladygaga
72.8M followers

Kim Kardashian 
@kimkardashian
69.7M followers

Virat Kohli 
@imvkohli
69.5M followers

YouTube 
@youtube
68.7M followers

Bill Gates 
@billgates
63.7M followers

The Ellen Show
@theellenshow
62.5M followers

Neymar Jr 
@neymarjr
62.2M followers

CNN 
@cnn
61.9M followers

X 
@x
60.8M followers

Selena Gomez 
@selenagomez
60.5M followers











