Scheme Workshop @schemeworkshop
The Scheme and Functional Programming Workshop 2022 will be held on Friday, September 16th in Ljubljana, Slovenia. icfp22.sigplan.org/home/scheme-20… Ljubljana, Slovenia Joined February 2011-
Tweets141
-
Followers306
-
Following31
-
Likes7
The 2023 Scheme and Functional Programming Workshop will be held Saturday, September 9, in Seattle, co-located with ICFP: icfp23.sigplan.org/home/scheme-20…
Deadline Extended! The 2022 Scheme and Functional Programming Workshop deadline is now Friday, July 29th, 2022: icfp22.sigplan.org/home/scheme-20…
A gentle reminder that submissions to the 2022 Scheme and Functional Programming Workshop are due Friday July, 22, 2022: icfp22.sigplan.org/home/scheme-20…
The 2022 miniKanren Workshop has extended its submission deadline until Wednesday July 20th: icfp22.sigplan.org/home/minikanre… Please consider submitting! :)
The Call for Papers for the 2022 Scheme and Functional Programming Workshop is now available at icfp22.sigplan.org/home/scheme-20….
The Scheme and Functional Programming Workshop 2022 will be held on Friday, September 16th in Ljubljana, Slovenia.
The Scheme and Functional Programming Workshop submission deadline has been extended 1 week to 3 July 2021, Anywhere on Earth: icfp21.sigplan.org/home/scheme-20…
The 22nd Scheme and Functional Programming Workshop will be (virtually) co-located with ICFP 2021, and will be held Friday, Aug 2021 from 11:00--19:30 UTC. Please see icfp21.sigplan.org/home/scheme-20… for details!
The Call for Submissions for the 2021 Scheme and Functional Programming Workshop is now available at icfp21.sigplan.org/home/scheme-20…
There are 10 days remaining to get your submission in for @schemeworkshop. We look forward to reading your research results, experience reports, and lightning talk submissions. icfp20.sigplan.org/home/scheme-20…
Only 2 weeks left to submit your paper, technical report or lightning talk ! The Scheme Workshop, co-located with ICFP, is an excellent venue for student research and work in progress. Call for papers: icfp20.sigplan.org/home/scheme-20…
^ in other news, this got into the @schemeworkshop as a ⚡ talk. (still waiting for the Coq workshop at ITP) I may have gotten ahead of myself on the train today and started making slides.
We're so happy to have received thoughtful and high-quality submissions! Thanks for your hard work! We will get busy on delivering thoughtful reviews, and we hope to see you in Germany on August 18! Stay tuned for the possibility of a t-shirt design contest ;-)
Scheme Workshop deadline TONIGHT! Still time to submit a lightning talk (192 word abstract for 5 minute talk) abstract. We look forward to reviewing your submissions :-)
galaxy brain: send a lightning talk proposal with that title to the @schemeworkshop
Doooo ittttt
Scheme Workshop deadline TOMORROW night! We know you can do it! Papers of ANY length and contributions, along with lightning talks encouraged (only <200 word abstract!)! thomas.gilray.org/scheme-2019/
We've got some exciting news brewing that might relate to free garments of a scheme-y variety.
Only a few days left to submit to Scheme 2019! Deadline June 7th, Anywhere on Earth!
Update! 20th anniversary Scheme Workshop deadline EXTENDED to June 7th. Keynotes by @andykeep and @edwinbrady. The Scheme Workshop is an excellent venue for student research and work in progress. Call for papers: thomas.gilray.org/scheme-2019/
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
Manuel Simoni @msimoni
4K Followers 2K Following geek of programming languages, operating systems, and hypermedia platforms
Jeremy Siek @jeremysiek
3K Followers 352 Following Prof. at IU, dad, runner, cook, programming language design, gradual typing, generic programming, type systems, mechanized proofs. @[email protected]
@[email protected] @cyberglot
3K Followers 2K Following 🦝 human raccoon 🦝 | latinx, autistic, queer, hyper sleepy | they/them | https://t.co/Cw5Cb716iq
Stephen De Gabrielle ... @spdegabrielle
521 Followers 1K Following
Jalfou @Jalfou6892
64 Followers 3K Following
Marek Sroka @MarekSroka27117
1 Followers 34 Following
a08. @current00123
0 Followers 514 Following
Arzu Behiye TARIMCI�... @sea_plus_plus
167 Followers 850 Following #build #human #ボイドランドこ🌎 Opinions mine saveasin @ blue sea
Lkm @GmkEtc
122 Followers 194 Following computer programmer, amateur mathematician, graphics design hobbyist.
一級屠豬士 @bunko4
262 Followers 3K Following #Oracle,#MySQL, #Postgresql, #Golang, #Erlang, #Elixir #Haskell #FSharp & 🦀 #Rust Lover
一葉扁舟 @yaoerhg
170 Followers 2K Following
crazyb0y @crazyb0y1991
1 Followers 92 Following
Peter Wang @gnawretep
66 Followers 597 Following
Nicky @Nicky85731545
2 Followers 176 Following
Yunen @YunenH
2 Followers 710 Following
walthink @walthinker
8 Followers 363 Following
shh @sh1339414373
0 Followers 255 Following
ladbug @ladbug0815
1 Followers 162 Following
Mr.Backtester @d0r1actw
5 Followers 41 Following 全栈开发 | Python/Vue技术栈 | 技术分析量化入门 | 探索AI+Fintech Full-Stack Developer | Python/Vue Tech Stack | Quantitative Analysis Novice | Exploring AI in Fintech
turingdream @turingdream
0 Followers 26 Following
Charlie Lee @cujam137
16 Followers 406 Following
Stanley Miracle @stanleyxmiracle
0 Followers 6 Following Someone who is interested in living in the Ring
Lyu @BaileeLyu
3 Followers 98 Following
beike @beikejun07
33 Followers 2K Following
Kartik @k4rtik
1K Followers 434 Following Quantum Compiler Engineer at @QuantinuumQC. Previously: @UChicagoCS, @BrownCSDept.
gwangjin @9w4n9j1n
39 Followers 428 Following Data Scientist, Bioinformatician, Human Geneticist (PhD), Lisp-Enthusiast, R, Python, FP
计算机与生活的... @jrtxio
14 Followers 306 Following AUTOSAR、UDS、FBL、SOA、SOME/IP、DDS、STM32、Driver、Linux。 计算理论、程序语言、操作系统、网络编程、软件架构、算法与数据结构、计算机体系结构。 开发环境搭建、工具教程、设计美学、方法论。
Marcin Wojtowicz @mw_ftr
9 Followers 71 Following
Dennis M S 🗿 @neo4reo
141 Followers 1K Following Engineer working on distributed FPGA (Cluster) Acceleration of Neuro-Symbolic AI Workloads + Large High-dimensional datasets. Lisp, Haskell, Erlang VHDL #AI
源Genji @haOFei
17K Followers 3K Following Continuously follow the AI field, focusing on the co-design of algorithms, chips, software, compilers, and operator libraries. 归国子女
Pomme @PommeTomateRiz
75 Followers 135 Following
zach @zach7q
0 Followers 134 Following
herman permafrost @thistlesticks66
45 Followers 3K Following rates vol quant @ split-ticketing dot com
Chris Henson @_chenson__
862 Followers 3K Following CS PhD student @DrexelCCI working on categorical semantics in Lean. Collector of retro computers and vintage books. Formerly Quant Finance at Bank of America.
Joel Svensson @sve10362122
294 Followers 2K Following Implementing a Lisp like language for microcontrollers. LispBM is a lisp or scheme like language with concurrency and an Erlang inspired message-passing system
jagger @jagger160
19 Followers 480 Following
Racket Templates @RacketTemplates
15 Followers 21 Following Unofficial collection of racket app templates. `raco pkg install from-template` to install the tool, `raco new templatename folder` to install a named template
Bharathi Ramana Joshi @0xbrj
63 Followers 427 Following Programming languages, compilers, fitness, chess | CS undergrad @IIIT_Hyderabad
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
Manuel Simoni @msimoni
4K Followers 2K Following geek of programming languages, operating systems, and hypermedia platforms
andrew blinn @disconcision
4K Followers 2K Following progaming 🗨️ languages eboy and mousefeel 🖱️ epicure, working on Nintendo® 🎮 Excel™ for the 📱 vpriPhone
chris martens @chrisa... @chrisamaphone
5K Followers 1K Following I'm not here anymore! Go find me where my display name says.
Kristopher Micinski -... @krismicinski
7K Followers 3K Following As of ~Sep '25, I have moved off Twitter, email me for personal thoughts ([email protected]). Tweets do not represent *anyone's* views, especially mine.
Colin Gordon of Masto... @csgordon
1K Followers 3K Following CS prof at Drexel. (He/him). Now mostly on Mastodon at @[email protected] and @[email protected] and @[email protected]
Leif Andersen @LeifAndersen
784 Followers 288 Following Working on Interactive Syntax at UMass Boston.
ICFP Contest 2016 @ICFPContest2016
215 Followers 4 Following
S (ﾂｲｰﾄはﾂ... @esumii
5K Followers 4K Following 個人の趣味です。組織の見解ではありません。専門外は素人意見です。関連明示のため、しばしば自己リプライします。ツイートはツリー全体をご確認ください。明らかにおかしなリプライは非表示にさせていただくことがあります。ログ：https://t.co/1cDSfDReEV
Lisp World @LispWorld
1K Followers 487 Following
LambdaConf 2025 @lambda_conf
9K Followers 2K Following A mind-blowing programming conference, held in Estes Park, CO.
DJ Saul @DarienJay100
2K Followers 244 Following CEO @khalifakush, future member of Team USA Bocce 2036.
Int'l Lisp Conf 2014 @ilc2014
194 Followers 28 Following International Lisp Conference. Academic, Industrial, and Practical papers, presentations,and discussions about all dialects of the Lisp Programming Language.
steck @steck
174 Followers 699 Following
ICFP Conference @icfp_conference
4K Followers 18 Following ACM SIGPLAN International Conference on Functional Programming. Tweets by @shwestrick.
Clojure/conj @clojure_conj
5K Followers 7 Following Clojure/conj 2024 will be Oct 23-25, 2024 in Alexandria, VA!
Paul Stansifer @PaulStansifer
119 Followers 104 Following Keep humanity weird. He/him. @[email protected]
@[email protected] @jbclements
208 Followers 89 Following
Jason Felice @eraserhd
480 Followers 500 Following If I didn't laugh at my jokes, no one would. He/him
PLT Scheme @pltscheme
126 Followers 2 Following
Racket @racketlang
7K Followers 74 Following Official Twitter account for the Racket programming language. Please ask questions at https://t.co/V7rIWhB2rE or https://t.co/k1nOVqq2dI
Peter Kourzanov @kurzanov
34 Followers 84 Following
Lindsey Kuper (@linds... @lindsey
9K Followers 797 Following CSE assistant professor at @ucsc (https://t.co/mijWIrhfoU). Made in Iowa. Nearly 100% biodegradable. https://t.co/iAyJDalnrG
Dimitris Vardoulakis @dimvar
695 Followers 915 Following ML compilers @nvidia. Views my own. Prev TPU compiler, Closure Compiler @Google; DoctorJS @mozilla; CS PhD @neu_prl; BEng @ecentua. Also on bluesky, mathstodon
Geoff Knauth @gknauth
553 Followers 599 Following software developer, flight instructor, coxswain/rower, linguist
Mitch ((No Kings!!)) ... @mwand
561 Followers 501 Following
David Van Horn @lambda_calculus
5K Followers 1K Following Prof at @umdcs and @umiacs. Co-director of @plumlab. BlueSky: https://t.co/Bwck1H9fXK Mastodon: @[email protected]Trends for United States
You might like
