你可能會喜歡
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 趨勢
- 1. New York 1.33M posts
- 2. #hazbinhotelseason2 30.8K posts
- 3. Alastor 21.3K posts
- 4. Good Wednesday 17.8K posts
- 5. #RadioStatic 6,833 posts
- 6. Virginia 558K posts
- 7. Mamdani 1.69M posts
- 8. Hump Day 6,053 posts
- 9. Van Jones 2,956 posts
- 10. #Talus_Labs 1,009 posts
- 11. Prop 50 196K posts
- 12. #QuestPit 8,234 posts
- 13. #XLOV 15.2K posts
- 14. AND SO IT BEGINS 12.2K posts
- 15. But the Lord 8,890 posts
- 16. Sanford N/A
- 17. RIP NYC 25K posts
- 18. TURN THE VOLUME UP 27.3K posts
- 19. Cyrene 121K posts
- 20. Jay Jones 110K posts
你可能會喜歡
-
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.