OPLSS

Official account of the Oregon Programming Languages Summer School.

2017 tweets by @d_christiansen.

[OPLSS @UOPLSS]

The final lecture by @edwinbrady is up. Sorry about the sound, there was a wire unplugged for part of the recording.
https://t.co/PAHZBcktUJ

[OPLSS @UOPLSS]

The fourth lecture by @lambda_calculus is up:
https://t.co/Iv22en5TyB

[OPLSS @UOPLSS]

The third lecture by @lambda_calculus is now up: https://t.co/RpBFE7qgjF

[OPLSS @UOPLSS]

The upload of the final lecture by Neel Krishnaswami has been fixed:
https://t.co/zY3Wa5Kw6Z

[OPLSS @UOPLSS]

The second lecture by @lambda_calculus is up:
https://t.co/hk9dnciEMu

[OPLSS @UOPLSS]

Amal Ahmed's final lecture is up:

https://t.co/ARAwzrJZ3U

[OPLSS @UOPLSS]

The first Idris lecture by @edwinbrady from this year's #OPLSS is uploaded: https://t.co/STXKgzG2Nt
The rest are on their way.

[OPLSS @UOPLSS]

What is principled language interoperability? Amal Ahmed delivers the last lecture of this year's OPLSS.

[OPLSS @UOPLSS]

The first lecture of the last day of this year's #OPLSS is @rg9119 giving the formal tools for gradual typing

[OPLSS @UOPLSS]

The unknown type in gradual typing, with Ron Garcia #OPLSS

[OPLSS @UOPLSS]

More compiler correctness with Amal Ahmed #OPLSS

[OPLSS @UOPLSS]

Neel Krishnaswami on linearity and dependent types #OPLSS

[ICFP Conference @icfp_conference]

Aspiring PL researchers, apply for funding to attend PLMW@ICFP: https://t.co/YBKdyypgAL

[OPLSS @UOPLSS]

Amal Ahmed on compiler correctness #OPLSS

[OPLSS @UOPLSS]

Ron Garcia on Gradual Typing Concepts #OPLSS

[Artem Pelenitsyn 🇺🇦 @[email protected] @ulysses4ever]

Second ˝Type-Driven Development in Idris” here — now with the author signature! Thanks to @edwinbrady and @UOPLSS!

[OPLSS @UOPLSS]

Q&A prior to @edwinbrady's last #OPLSS lecture of the year, on state and types

[OPLSS @UOPLSS]

More Redex and Abstracting Abstract Machines with @lambda_calculus

[OPLSS @UOPLSS]

Gradual typing and contracts, by @samth

[OPLSS @UOPLSS]

"People ask particularly brilliant questions when they're not forced to ask them in front of the room." - @edwinbrady #OPLSS