2017 Archives by author
Starting: Thu Jan 12 09:51:04 EST 2017
Ending: Thu Dec 14 09:59:36 EST 2017
Messages: 36
- [Pl-seminar] 5/5 Seminar: Multi-language programming system: a linear experiment
Matthias Felleisen
- [Pl-seminar] 12/5 Seminar: Fabian Muehlboeck: Efficient Nominal Gradual Typing
Benjamin Greenman
- [Pl-seminar] 12/5 Seminar: Fabian Muehlboeck: Efficient Nominal Gradual Typing
Benjamin Greenman
- [Pl-seminar] 12/5 Seminar: Fabian Muehlboeck: Efficient Nominal Gradual Typing
Benjamin Greenman
- [Pl-seminar] 1/27 Seminar: John Vilk, Making the Browser Reasonable for Sane Programmers
Daniel Patterson
- [Pl-seminar] Reminder: 1/27 Seminar: John Vilk, Making the Browser Reasonable for Sane Programmers
Daniel Patterson
- [Pl-seminar] 2/3 Seminar: Julia Belyakova, Comparative Study of Generic Programming Features in Object-Oriented Languages
Daniel Patterson
- [Pl-seminar] Reminder: Seminar TOMORROW: John Vilk, Making the Browser Reasonable for Sane Programmers
Daniel Patterson
- [Pl-seminar] Reminder: 2/3 Seminar (New Location): Julia Belyakova, Comparative Study of Generic Programming Features in Object-Oriented Languages
Daniel Patterson
- [Pl-seminar] Reminder: Seminar TOMORROW: Julia Belyakova, Comparative Study of Generic Programming Features in Object-Oriented Languages
Daniel Patterson
- [Pl-seminar] 2/24 Seminar: Ben Sherman, Overlapping pattern matching for programming with continuous functions
Daniel Patterson
- [Pl-seminar] Reminder: 2/24 Seminar: Ben Sherman, Overlapping pattern matching for programming with continuous functions
Daniel Patterson
- [Pl-seminar] Reminder: 2/24 Seminar: Ben Sherman, Overlapping pattern matching for programming with continuous functions
Daniel Patterson
- [Pl-seminar] 3/10 Seminar: Jimmy Hartzell, Templates and Types in C++
Daniel Patterson
- [Pl-seminar] 3/10 Seminar: Jimmy Hartzell, Templates and Types in C++
Daniel Patterson
- [Pl-seminar] 3/10 Seminar: Jimmy Hartzell, Templates and Types in C++
Daniel Patterson
- [Pl-seminar] 3/24 Seminar: Swarat Chaudhuri, Learning to Program and Debug, Automatically
Daniel Patterson
- [Pl-seminar] Reminder: 3/24 Seminar: Swarat Chaudhuri, Learning to Program and Debug, Automatically
Daniel Patterson
- [Pl-seminar] 3/31 Seminar: Mooly Sagiv, Simple Invariants for proving the safety of distributed protocols and networks
Daniel Patterson
- [Pl-seminar] 3/24 Seminar: Swarat Chaudhuri, Learning to Program and Debug, Automatically
Daniel Patterson
- [Pl-seminar] Reminder: 3/31 Seminar: Mooly Sagiv, Simple Invariants for proving the safety of distributed protocols and networks
Daniel Patterson
- [Pl-seminar] 3/31 Seminar: Mooly Sagiv, Simple Invariants for proving the safety of distributed protocols and networks
Daniel Patterson
- [Pl-seminar] 4/14 Seminar: Magnus Madsen, From Datalog to Flix: A Declarative Language for Fixed Points on Lattices
Daniel Patterson
- [Pl-seminar] Reminder: 4/14 Seminar: Magnus Madsen, From Datalog to Flix: A Declarative Language for Fixed Points on Lattices
Daniel Patterson
- [Pl-seminar] Reminder: Seminar TOMORROW: Magnus Madsen, From Datalog to Flix: A Declarative Language for Fixed Points on Lattices
Daniel Patterson
- [Pl-seminar] 5/5 Seminar: Multi-language programming system: a linear experiment
Daniel Patterson
- [Pl-seminar] Reminder: 5/5 Seminar: Multi-language programming system: a linear experiment
Daniel Patterson
- [Pl-seminar] Reminder: Seminar TOMORROW: Multi-language programming system: a linear experiment
Daniel Patterson
- [Pl-seminar] 6/1 Seminar: Cesare Tinelli, CoCoSpec: A Mode-aware Contract Language for Reactive Systems
Daniel Patterson
- [Pl-seminar] Reminder: 6/1 Seminar: Cesare Tinelli, CoCoSpec: A Mode-aware Contract Language for Reactive Systems
Daniel Patterson
- [Pl-seminar] Reminder: Seminar TOMORROW: Cesare Tinelli, CoCoSpec: A Mode-aware Contract Language for Reactive Systems
Daniel Patterson
- [Pl-seminar] 6/23 Seminar: Dustin Jamner, Relational Parametricity for Polymorphic Blame Calculus
Daniel Patterson
- [Pl-seminar] Reminder: Seminar FRIDAY: Dustin Jamner, Relational Parametricity for Polymorphic Blame Calculus
Daniel Patterson
- [Pl-seminar] 12/14 Seminar: Molham Aref: Solver-Aided Declarative Programming
Daniel Patterson
- [Pl-seminar] 12/14 Seminar: Molham Aref: Solver-Aided Declarative Programming
Daniel Patterson
- [Pl-seminar] 12/14 Seminar: Molham Aref: Solver-Aided Declarative Programming
Ming-Ho Yee
Last message date:
Thu Dec 14 09:59:36 EST 2017
Archived on: Thu Dec 14 10:01:02 EST 2017
This archive was generated by
Pipermail 0.09 (Mailman edition).