Lambda the Ultimate
@lambda_ultimate
The Programming Languages Weblog
You might like
Automating Ad hoc Data Representation Transformations: Automating Ad hoc Data Representation Transformations ... bit.ly/2dl1DVs
NOOL 2016: At this year's SPLASH there will be a follow-up to last year's NOOL 2015 workshop (discussed here... bit.ly/2c6P1zc
PowerShell is open sourced and is available on Linux: Long HN thread ensues. Many of the comments discuss the... bit.ly/2blsQaM
Philip Wadler: Category Theory for the Working Hacker: Nothing you don't already know, if you are inteo this ... bit.ly/2b5KSgt
Fully Abstract Compilation via Universal Embedding: Fully Abstract Compilation via Universal Embedding by Max... bit.ly/2ahGfxO
Admin: As many of you know, the email functionality of the website has not been working for a very, very long... bit.ly/29bwBfA
Dynamic Witnesses for Static Type Errors (or, ill-typed programs usually go wrong): Dynamic Witnesses for Sta... bit.ly/1XvMKCz
Set-Theoretic Types for Polymorphic Variants: Set-Theoretic Types for Polymorphic Variants by Giuseppe Castag... bit.ly/1ZB2fXL
How to Build Static Checking Systems Using Orders of Magnitude Less Code: How to Build Static Checking System... bit.ly/1UhPLjD
No value restriction is needed for algebraic effects and handlers: No value restriction is needed for algebra... bit.ly/1XwQzpP
A Farewell to FRP in Elm: Making signals unnecessary with The Elm Architecture ...the big benefit is that Elm... bit.ly/24L9MK8
Simon Peyton Jones elected into the Royal Society Fellowship: Simon Peyton Jones has been elected as a Fellow... bit.ly/24dg1q2
Remora: An Array-Oriented Language with Static Rank Polymorphism: The paper: An Array-Oriented Language with S... bit.ly/1V2snMl
Type Checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance: Type Checking M... bit.ly/1UwhYIq
Usability of Programming Languages SIG at CHI'2016: A special-interest group meeting during the ACM CHI 2016 ... bit.ly/1ZxMalT
C is Manly, Python is for “n00bs”: How False Stereotypes Turn Into Technical “Truths”: Jean Yang & Ari Rabkin ... bit.ly/1TyOSrn
Temporal Higher Order Contracts: Temporal Higher Order Contracts Tim Disney, Cormac Flanagan, Jay McCarthy 20... bit.ly/1VRtriF
Coordinated concurrent programming in Syndicate: Coordinated concurrent programming in Syndicate Tony Garnock... bit.ly/1PZzVrR
Performance Problems You Can Fix: A Dynamic Analysis of Memoization Opportunities: Performance Problems You Ca... bit.ly/1RAhP5A
Progress on Gradual Typing: Among many interesting works, the POPL 2016 papers have a bunch of nice articles o... bit.ly/1USAFTN
United States Trends
- 1. New York 1.03M posts
- 2. New York 1.03M posts
- 3. Virginia 510K posts
- 4. $TAPIR 1,612 posts
- 5. #DWTS 40.2K posts
- 6. Texas 214K posts
- 7. Prop 50 172K posts
- 8. Cuomo 400K posts
- 9. TURN THE VOLUME UP 14.7K posts
- 10. Clippers 8,951 posts
- 11. Harden 9,515 posts
- 12. Bulls 35.5K posts
- 13. Sixers 12.8K posts
- 14. Jay Jones 97.7K posts
- 15. #Election2025 15.8K posts
- 16. Embiid 6,075 posts
- 17. Maxey 7,881 posts
- 18. Eugene Debs 2,430 posts
- 19. Ty Lue N/A
- 20. WOKE IS BACK 32.6K posts
You might like
-
Edward Kmett
@kmett -
Erik Meijer
@headinthebox -
Well-Typed
@welltyped -
Galois
@galois -
ICFP Conference
@icfp_conference -
David Van Horn
@lambda_calculus -
Gilad Bracha
@Gilad_Bracha -
Andres Löh
@kosmikus -
Neil Mitchell (neildmitchell @🪡)
@ndm_haskell -
Racket
@racketlang -
Debasish (দেবাশিস্) Ghosh 🇮🇳
@debasishg -
Manuel Chakravarty🦋@tacticalgrace.justtesting.org
@TacticalGrace -
Bartosz Milewski
@BartoszMilewski -
POPL 2026
@poplconf
Something went wrong.
Something went wrong.