내가 좋아할 만한 콘텐츠
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. Jets 123K posts
- 2. Courtois 61.3K posts
- 3. Sauce 85K posts
- 4. Liverpool 276K posts
- 5. Madrid 401K posts
- 6. Colts 59.2K posts
- 7. Breece Hall 11.8K posts
- 8. Quinnen Williams 27.8K posts
- 9. Cheney 255K posts
- 10. Conor Bradley 22.2K posts
- 11. Beane 5,927 posts
- 12. Penning 3,866 posts
- 13. Garrett Wilson 5,390 posts
- 14. Veach 6,228 posts
- 15. Bayern 136K posts
- 16. Luis Diaz 42.3K posts
- 17. Hakimi 42.2K posts
- 18. Shaheed 18.1K posts
- 19. #いい推しの日 813K posts
- 20. Brad Holmes 1,308 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.