BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Houston Functional Programmers - ECPv6.16.4//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Houston Functional Programmers
X-ORIGINAL-URL:https://hfpug.org
X-WR-CALDESC:Events for Houston Functional Programmers
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/Chicago
BEGIN:DAYLIGHT
TZOFFSETFROM:-0600
TZOFFSETTO:-0500
TZNAME:CDT
DTSTART:20230312T080000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0500
TZOFFSETTO:-0600
TZNAME:CST
DTSTART:20231105T070000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0600
TZOFFSETTO:-0500
TZNAME:CDT
DTSTART:20240310T080000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0500
TZOFFSETTO:-0600
TZNAME:CST
DTSTART:20241103T070000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0600
TZOFFSETTO:-0500
TZNAME:CDT
DTSTART:20250309T080000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0500
TZOFFSETTO:-0600
TZNAME:CST
DTSTART:20251102T070000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Chicago:20240320T190000
DTEND;TZID=America/Chicago:20240320T210000
DTSTAMP:20260616T192856
CREATED:20230921T202340Z
LAST-MODIFIED:20240313T193916Z
UID:745-1710961200-1710968400@hfpug.org
SUMMARY:Jeffery Olson\, "System R­—A Practical Lambda Calculus Made for Extensibility in Rust"
DESCRIPTION:Abstract: This will be a presentation on lambda calculi\, their differing varieties and corresponding expressiveness\, and a particular implementation: System R—a lambda calculus\, written in Rust\, built for extensibility and practical use cases. \nMany programming languages (especially in the world of FP) we use today are implemented atop layers of academic theory modeled as lambda calculi. Advances over the last 9+ decades have given us a rich toolset with which to develop sophisticated systems suitable for everyday use. \nWhether it’s Hindley-Milner\, dependent types\, linear types\, or algebraic effects the academic literatures often communicate advances in computer science via a lambda calculus\, often starting from a popularly-known base point\, extended in novel ways appropriate to the domain. \nSystem R is a lambda calculus implementation that enables the creation of more advanced calculi that translate-downward back into System R\, which is intended to operate as a “bottom”-level bytecode. System R is itself a System F dialect (in the sense of TAPL et al). The base Kind & Type system include a rich set of primitive values (robust numerics\, bytes\, etc)\, and the Curry-Howard correspondence tells us it is a suitable bytecode-level substrate for converting to an infinite number of computing backends (wasm\, Rust/C/Fortran/Forth\, AOT\, etc). \nAs mentioned above\, the unifying concept for the above capabilities is that the entire toolchain is built for extensibility. \nYou can learn more at https://github.com/olsonjeffery/system_r \nBio: Jeffery Olson is currently a Staff Engineer at GMV Syncromatics in Houston\, TX.  His path to programming passes through an early enthusiasm for Linux/FOSS software since the late 90s\, a stint in the Army and a tech career starting in Seattle before moving to Houston in 2014. He began contributing to Rust in 2012\, working mostly in the standard library\, contributing initial versions of the network and filesystem APIs. His perspective is shaped by an interest in understanding the needs of\, then solving real problems for\, customers along with a lifelong curiosity for computing technology that has led him all over the map. \n\nClaude Jager-Rubinson is inviting you to a scheduled Zoom meeting. \nTopic: Houston Functional Programmers\nTime: Jan 17\, 2024 07:00 PM Central Time (US and Canada)\nEvery month on the Third Wed\, until Nov 20\, 2024\, 11 occurrence(s)\nJan 17\, 2024 07:00 PM\nFeb 21\, 2024 07:00 PM\nMar 20\, 2024 07:00 PM\nApr 17\, 2024 07:00 PM\nMay 15\, 2024 07:00 PM\nJun 19\, 2024 07:00 PM\nJul 17\, 2024 07:00 PM\nAug 21\, 2024 07:00 PM\nSep 18\, 2024 07:00 PM\nOct 16\, 2024 07:00 PM\nNov 20\, 2024 07:00 PM\nPlease download and import the following iCalendar (.ics) files to your calendar system.\nMonthly: https://uhd.zoom.us/meeting/tZcrceGuqTkoH9Lz2KOcwwZqYRmqgda4Bhi1/ics?icsToken=98tyKuGrqD0iHNOXshyBRpwqBI_oWe7wtnpBgvpxhk3OLCNEdTnnD9BPI7V7EYzy \nJoin Zoom Meeting\nhttps://uhd.zoom.us/j/83668672256?pwd=Wld3QXhkczVMaktYYmJQUnp2aG5VZz09 \nMeeting ID: 836 6867 2256\nPasscode: recursion \n— \nOne tap mobile\n+13462487799\,\,83668672256# US (Houston)\n+12063379723\,\,83668672256# US (Seattle) \n— \nDial by your location\n• +1 346 248 7799 US (Houston)\n• +1 206 337 9723 US (Seattle)\n• +1 213 338 8477 US (Los Angeles)\n• +1 253 215 8782 US (Tacoma)\n• +1 602 753 0140 US (Phoenix)\n• +1 669 219 2599 US (San Jose)\n• +1 669 900 6833 US (San Jose)\n• +1 720 928 9299 US (Denver)\n• +1 971 247 1195 US (Portland)\n• +1 470 381 2552 US (Atlanta)\n• +1 646 518 9805 US (New York)\n• +1 646 558 8656 US (New York)\n• +1 651 372 8299 US (Minnesota)\n• +1 786 635 1003 US (Miami)\n• +1 267 831 0333 US (Philadelphia)\n• +1 301 715 8592 US (Washington DC)\n• +1 312 626 6799 US (Chicago)\n• +1 470 250 9358 US (Atlanta) \nMeeting ID: 836 6867 2256 \nFind your local number: https://uhd.zoom.us/u/khzdUKqt3 \n— \nJoin by SIP\n• 83668672256@zoomcrc.com \n— \nJoin by H.323\n• 162.255.37.11 (US West)\n• 162.255.36.11 (US East)\n• 115.114.131.7 (India Mumbai)\n• 115.114.115.7 (India Hyderabad)\n• 213.19.144.110 (Amsterdam Netherlands)\n• 213.244.140.110 (Germany)\n• 103.122.166.55 (Australia Sydney)\n• 103.122.167.55 (Australia Melbourne)\n• 149.137.40.110 (Singapore)\n• 64.211.144.160 (Brazil)\n• 149.137.68.253 (Mexico)\n• 69.174.57.160 (Canada Toronto)\n• 65.39.152.160 (Canada Vancouver)\n• 207.226.132.110 (Japan Tokyo)\n• 149.137.24.110 (Japan Osaka) \nMeeting ID: 836 6867 2256\nPasscode: 416074723
URL:https://hfpug.org/event/jeffery-olson-system-r-a-practical-lambda-calculus-made-for-extensibility-in-rust/
LOCATION:Improving (Hybrid)\, 10111 Richmond Ave\, Suite 100\, Houston\, TX\, 77042\, United States
END:VEVENT
END:VCALENDAR