#refinementTypes - Twitter Hashtag

Functional Scala 2024

over 3 years ago

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

0

9

4

0

834

IMDEA Software @IMDEA_Software

about 4 years ago · Madrid

🔵 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

about 4 years ago

Is it me???? https://t.co/CHvaoqPbtM

2

12

2

1

0

3

1

0

UIowa Computer Science @UIowaCS

almost 5 years ago

📢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 🔏🕸️

UIowaCS's tweet photo. 📢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 🔏🕸️ https://t.co/KZdtp9e2KT

1

8

3

1

0

Signify Technology @Signify_Tech

over 5 years ago

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

0

1

0

Skills Matter @skillsmatter

almost 6 years ago

It was all capped off by @EricBond10 of @47deg offering examples and showing how to work with #RefinementTypes and #DependentTypes in #Haskell

skillsmatter's tweet photo. It was all capped off by @EricBond10 of @47deg offering examples and showing how to work with #RefinementTypes and #DependentTypes in #Haskell https://t.co/UjbjdDhA4V

0

6

1

0

Skills Matter @skillsmatter

almost 6 years ago

#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

skillsmatter's tweet photo. #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 https://t.co/ZsrNL8ghVq

0

16

7

1

0

Yoshihiro Imai @yoshihiro503

over 6 years ago

わくわくする京都大学のICTのイベントにきています。 #refinementTypes #Tezos #形式手法 #ブロックチェーン

0

4

2

0

Functional Conference @FnConf

over 7 years ago

Testing in the world of Functional Programming by Luka Jacobowitz(@LukaJacobowitz) at #FnConf18 https://t.co/g32U8EmCo5 #FunctionalProgramming #Testing #PropertyBasedTesting #RefinementTypes #TestingSideEffects

0

13

2

0

Papers We Love (@[email protected]) @papers_we_love

about 8 years ago

Gradual Liquid Type Inference - Vazou, et al. https://t.co/tKQYKjYy67 #refinementtypes #typeinference #pl

0

4

1

0

marcoonroad @marcoonroad

over 8 years ago

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

0

3

2

0