Groups
Groups
Sign in
Groups
Groups
sci.plrg-reading
Conversations
About
Send feedback
Help
sci.plrg-reading
1–30 of 302
Mark all as read
Report group
0 selected
Anthony Sloane
11/24/19
Information-flow control in Haskell in PLV Reading Group this week
The Programming Languages and Verification Reading Group at Macquarie University, Department of
unread,
Information-flow control in Haskell in PLV Reading Group this week
The Programming Languages and Verification Reading Group at Macquarie University, Department of
11/24/19
Anthony Sloane
10/3/19
Reminder: Abstracts for SAPLING 2019 Meeting due 11/10
This is a reminder that SAPLING 2019 abstracts and travel funding requests are due next Friday 11/10.
unread,
Reminder: Abstracts for SAPLING 2019 Meeting due 11/10
This is a reminder that SAPLING 2019 abstracts and travel funding requests are due next Friday 11/10.
10/3/19
Anthony Sloane
9/22/19
Cooma language in PLV Reading Group this week
The Programming Languages and Verification Reading Group at Macquarie University, Department of
unread,
Cooma language in PLV Reading Group this week
The Programming Languages and Verification Reading Group at Macquarie University, Department of
9/22/19
Anthony Sloane
9/14/19
Call for Abstracts for SAPLING 2019 Meeting
Call for Abstracts for SAPLING 2019 Meeting, November 15, 2019 Sydney Area Programming Language
unread,
Call for Abstracts for SAPLING 2019 Meeting
Call for Abstracts for SAPLING 2019 Meeting, November 15, 2019 Sydney Area Programming Language
9/14/19
Anthony Sloane
9/14/19
Extensible data types in PL reading group this week
The Programming Languages and Verification Reading Group at Macquarie University, Department of
unread,
Extensible data types in PL reading group this week
The Programming Languages and Verification Reading Group at Macquarie University, Department of
9/14/19
Anthony Sloane
7/21/19
Secure Programming Languages in PLV Reading Group this week
The Programming Languages and Verification Reading Group at Macquarie University, Department of
unread,
Secure Programming Languages in PLV Reading Group this week
The Programming Languages and Verification Reading Group at Macquarie University, Department of
7/21/19
Anthony Sloane
7/8/19
Continuations in parsing continued in PLVRG this week
The Programming Languages and Verification Reading Group at Macquarie University, Department of
unread,
Continuations in parsing continued in PLVRG this week
The Programming Languages and Verification Reading Group at Macquarie University, Department of
7/8/19
Anthony Sloane
7/1/19
Continuations in parsing in PLVRG this week
The Programming Languages and Verification Reading Group at Macquarie University, Department of
unread,
Continuations in parsing in PLVRG this week
The Programming Languages and Verification Reading Group at Macquarie University, Department of
7/1/19
Anthony Sloane
6/24/19
Continuations in PLV Reading Group this week
The Programming Languages and Verification Reading Group at Macquarie University, Department of
unread,
Continuations in PLV Reading Group this week
The Programming Languages and Verification Reading Group at Macquarie University, Department of
6/24/19
Anthony Sloane
6/4/19
JastAdd Attribute Grammar System in PLVRG this week
The Programming Languages and Verification Reading Group at Macquarie University, Department of
unread,
JastAdd Attribute Grammar System in PLVRG this week
The Programming Languages and Verification Reading Group at Macquarie University, Department of
6/4/19
Anthony Sloane
5/19/19
Oracle GraalVM seminar at Macquarie Uni, May 24, 1pm
The Programming Languages and Verification Research Group at Macquarie University, Department of
unread,
Oracle GraalVM seminar at Macquarie Uni, May 24, 1pm
The Programming Languages and Verification Research Group at Macquarie University, Department of
5/19/19
Anthony Sloane
3/19/19
Map Invariants for Program Verification in PLV Reading Group this week
PLEASE NOTE NEW LOCATION The Programming Languages and Verification Reading Group at Macquarie
unread,
Map Invariants for Program Verification in PLV Reading Group this week
PLEASE NOTE NEW LOCATION The Programming Languages and Verification Reading Group at Macquarie
3/19/19
Anthony Sloane
3/13/19
Skink Language Server in PLV Reading Group this week
PLEASE NOTE NEW LOCATION The Programming Languages and Verification Reading Group at Macquarie
unread,
Skink Language Server in PLV Reading Group this week
PLEASE NOTE NEW LOCATION The Programming Languages and Verification Reading Group at Macquarie
3/13/19
Anthony Sloane
2
2/21/19
UPPAAL Model Checker in PLV Reading Group this week
Instead of the old location, we will meet in our new building 4 Research Park Drive, Level 2, Room
unread,
UPPAAL Model Checker in PLV Reading Group this week
Instead of the old location, we will meet in our new building 4 Research Park Drive, Level 2, Room
2/21/19
Anthony Sloane
2/12/19
Abstract Interpretation in PLV Reading Group this week
The programming languages and verification reading group at Macquarie University, Department of
unread,
Abstract Interpretation in PLV Reading Group this week
The programming languages and verification reading group at Macquarie University, Department of
2/12/19
Anthony Sloane
1/30/19
Algebraic Effects and Handlers in PLV Reading Group this week
The programming languages and verification reading group at Macquarie University, Department of
unread,
Algebraic Effects and Handlers in PLV Reading Group this week
The programming languages and verification reading group at Macquarie University, Department of
1/30/19
Anthony Sloane
1/13/19
Language Server Protocol in PLV Reading Group this week
The programming languages and verification reading group at Macquarie University, Department of
unread,
Language Server Protocol in PLV Reading Group this week
The programming languages and verification reading group at Macquarie University, Department of
1/13/19
Anthony Sloane
11/11/18
Incremental packrat parsing in PL Reading Group this week
The programming languages reading group at Macquarie University, Department of Computing meets on (
unread,
Incremental packrat parsing in PL Reading Group this week
The programming languages reading group at Macquarie University, Department of Computing meets on (
11/11/18
Anthony Sloane
10/10/18
Observable notebooks in PL Reading Group this week
The programming languages reading group at Macquarie University, Department of Computing meets on (
unread,
Observable notebooks in PL Reading Group this week
The programming languages reading group at Macquarie University, Department of Computing meets on (
10/10/18
Anthony Sloane
10/3/18
Coding session in PL Reading Group this week
The programming languages reading group at Macquarie University, Department of Computing meets on (
unread,
Coding session in PL Reading Group this week
The programming languages reading group at Macquarie University, Department of Computing meets on (
10/3/18
Anthony Sloane
2
9/24/18
SAPLING 2018 Call for Abstracts
This is a reminder that SAPLING 2018 abstracts are due in less than a week, as are requests for
unread,
SAPLING 2018 Call for Abstracts
This is a reminder that SAPLING 2018 abstracts are due in less than a week, as are requests for
9/24/18
Anthony Sloane
9/11/18
Control Flow Reconstruction cont in PL Reading Group this week
The programming languages reading group at Macquarie University, Department of Computing meets on (
unread,
Control Flow Reconstruction cont in PL Reading Group this week
The programming languages reading group at Macquarie University, Department of Computing meets on (
9/11/18
Anthony Sloane
9/2/18
Control Flow Reconstruction in PL Reading Group this week
The programming languages reading group at Macquarie University, Department of Computing meets on (
unread,
Control Flow Reconstruction in PL Reading Group this week
The programming languages reading group at Macquarie University, Department of Computing meets on (
9/2/18
Anthony Sloane
8/28/18
Effects in Idris in PL Reading Group this week
The programming languages reading group at Macquarie University, Department of Computing meets on (
unread,
Effects in Idris in PL Reading Group this week
The programming languages reading group at Macquarie University, Department of Computing meets on (
8/28/18
Anthony Sloane
8/19/18
Effect-based languages cont. in PL Reading Group this week
The programming languages reading group at Macquarie University, Department of Computing meets on (
unread,
Effect-based languages cont. in PL Reading Group this week
The programming languages reading group at Macquarie University, Department of Computing meets on (
8/19/18
Anthony Sloane
8/14/18
Effect-based languages in PL Reading Group this week
The programming languages reading group at Macquarie University, Department of Computing meets on (
unread,
Effect-based languages in PL Reading Group this week
The programming languages reading group at Macquarie University, Department of Computing meets on (
8/14/18
Anthony Sloane
7/23/18
Invariant Synthesis in PL Reading Group this week
The programming languages reading group at Macquarie University, Department of Computing meets on (
unread,
Invariant Synthesis in PL Reading Group this week
The programming languages reading group at Macquarie University, Department of Computing meets on (
7/23/18
Anthony Sloane
6/25/18
Static and Dynamic Program Analysis in PL Reading Group this week
The programming languages reading group at Macquarie University, Department of Computing meets on (
unread,
Static and Dynamic Program Analysis in PL Reading Group this week
The programming languages reading group at Macquarie University, Department of Computing meets on (
6/25/18
Anthony Sloane
6/11/18
Loop Fusion for Program Verification in PL Reading Group this week
The programming languages reading group at Macquarie University, Department of Computing meets on (
unread,
Loop Fusion for Program Verification in PL Reading Group this week
The programming languages reading group at Macquarie University, Department of Computing meets on (
6/11/18
Anthony Sloane
5/28/18
Craig vs Newton in Software Model Checking in PL Reading Group this week
The programming languages reading group at Macquarie University, Department of Computing meets on (
unread,
Craig vs Newton in Software Model Checking in PL Reading Group this week
The programming languages reading group at Macquarie University, Department of Computing meets on (
5/28/18