Journal of Functional Programming
@CUP_JFPDesign, implementation & application of functional programming languages from mathematical theory to industrial practice. Journal @CambridgeUP, tweets @kamatsu8
Similar User
@kmett
@icfp_conference
@haskellhutt
@welltyped
@haskellfound
@bgamari
@serokell
@poplconf
@impurepics
@kosmikus
@ndm_haskell
@paf31
@issta_conf
@trupill
@jer_gib
New paper: Sanada presents an arrow calculus extended with algebraic effects and handlers. Includes operational and denotational semantics (given using a strong (pro)monad in the bicategory of categories and profunctors), soundness and adequacy proofs. cambridge.org/core/journals/…
New paper: @YeWenjia and Bruno C.D.S. Oliveira present a new method of giving semantics to gradually typed languages, using type-directed operational semantics, where type annotations become operationally relevant. cambridge.org/core/journals/…
FP fans - 11 new PhD abstracts have just been published in the Journal of Functional Programming, with links to the full dissertations! doi.org/10.1017/S09567…
Attending #ICFP24 or interested in functional programming? Journal of Functional Programming's collection page features a wide variety of article collections from previous ICFP conferences. Enjoy the collections → cup.org/3MxHY66 @CUP_JFP
Read Michael Sperber's review for JFP of Sandy Maguire's book, Algebra-Driven Design: cambridge.org/core/journals/…
FP friends -- please encourage recently completed PhD students to publish their dissertation abstracts in the Journal of Functional Programming: simple process, no refereeing, open access, 200+ published to date, deadline 31st May 2024. Please share! tinyurl.com/jfp-phd-abstra…
New paper: Su, Chen, Yanhui and Zhou propose and formalize _Static Blame_, a framework that can reveal hidden data flows for gradually typed programs, and establish the correspondence between static-time data flows and runtime behavior. cambridge.org/core/journals/…
New paper: effect handlers give fundamental asymptotic efficiency benefits for certain higher-order functions. From @dhillerstrom, @reifyreflect, and John Longley. cambridge.org/core/journals/…
This @CUP_JFP article by myself, @reifyreflect, and John Longley just dropped in time for the weekend! Perfect for a weekend read!! 📖 doi.org/10.1017/S09567…
See the JFP's most downloaded articles of 2023! cambridge.org/core/journals/…
Check out my new paper "Level-p-complexity of Boolean functions using thinning, memoization, and polynomials" in Journal of Functional Programming (@CUP_JFP): cambridge.org/core/journals/…
My paper with Eva Graversen (who I believe is not on this site) and @famontesi is out now in JFP! Read in order to understand how to do process polymorphism in choreographies. doi.org/10.1017/S09567…
FP folks - looking for some new year reading? JFP has just published the latest batch of PhD abstracts for your reading pleasure, with links to the full dissertations. cambridge.org/core/journals/…
New pearl: @wouterswierstra presents a correct by construction conversion from lambda calculus to combinatory logic! cambridge.org/core/journals/…
New paper: Zhang, Tang, Xie, Wang and Hu present contract lenses, extending conventional lenses with a pair of predicates to enable derivation of efficient lenses from specifications via bidirectional program calculation. cambridge.org/core/journals/…
Call for Papers for a special issue from Journal of Functional Programming. Program Calculation- 📚 cup.org/3SsLHWz SUBMISSIONS DUE 1 DECEMBER 2023 @CUP_JFP #openaccess #FunctionalProgramming
FP folks - if you are planning to submit a paper for the JFP Special Issue on Program Calculation, we'd be much obliged if you can submit a 'notification of intent' by Friday this week (20th October). Further details in the call for papers. cambridge.org/core/journals/…
New paper: Martin Sulzmann and Stefan Wehr present a type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go! cambridge.org/core/journals/…
In this paper, Jason Z. S. Hu, Junyoung Jang and Brigitte Pientka present a modular sound and complete normalisation-by-evaluation (NbE) proof for their expressive Kripke-style modal dependent type theory, MINT: cambridge.org/core/journals/…
Selected Journal of Functional Programming papers were invited to present at @icfp_conference as part of the ‘Paper First’ track. The papers selected for this year are → cup.org/3sSnrlR #ICFP2023 @CUP_JFP
Looking for some interesting summer reading? JFP has just published the latest batch of PhD abstracts for your reading pleasure, with links to the full dissertations. cambridge.org/core/journals/…
United States Trends
- 1. Mike Rogers 155 B posts
- 2. Muppets 4.872 posts
- 3. #FridayVibes 8.272 posts
- 4. Good Friday 69,2 B posts
- 5. Roller Coaster 3.971 posts
- 6. #FridayMorning 3.176 posts
- 7. #FursuitFriday 12,9 B posts
- 8. #BOYCOTT143ENT 15,4 B posts
- 9. Jason Kelce 2.210 posts
- 10. Bondi 357 B posts
- 11. #WeStandWithMadein 13,9 B posts
- 12. Happy Friyay 2.980 posts
- 13. McCabe 28,9 B posts
- 14. CONGRATULATIONS JIMIN 341 B posts
- 15. Aerosmith N/A
- 16. Chris Brown 33,5 B posts
- 17. Jim Henson 1.883 posts
- 18. Dan Scavino 2.447 posts
- 19. Randle 7.862 posts
- 20. Colt McCoy N/A
Who to follow
-
Edward Kmett
@kmett -
ICFP Conference
@icfp_conference -
Graham Hutton
@haskellhutt -
Well-Typed
@welltyped -
Haskell Foundation
@haskellfound -
Ben Gamari
@bgamari -
Serokell
@serokell -
POPL 2025
@poplconf -
Impure Pics
@impurepics -
Andres Löh
@kosmikus -
Neil Mitchell (neildmitchell @🪡)
@ndm_haskell -
Phil Freeman
@paf31 -
ISSTA Conference
@issta_conf -
Alejandro Serrano
@trupill -
Jeremy Gibbons
@jer_gib
Something went wrong.
Something went wrong.