PLV @ MPI-SWS Profile
PLV @ MPI-SWS

@mpi_sws_plv

Followers
79
Following
0
Media
0
Statuses
4

Programming languages and verification research at the Max Planck Institute for Software Systems (MPI-SWS).

Kaiserslautern/Saarbrücken, DE
Joined February 2014
Don't wanna be here? Send us removal request.
@mpi_sws_plv
PLV @ MPI-SWS
@mpi_sws_plv
11 years
The PLERG seminar is reading the 2005 manifesto "Why Dependent Types Matter" by Altenkirch, McBride, & McKinna. http://t.co/0XOOMYtwcj.
0
0
1
@mpi_sws_plv
PLV @ MPI-SWS
@mpi_sws_plv
11 years
RT @CompSciFact: 2014: How can I program without mutable state?.1984: How can I program without line numbers?.
0
259
0
@mpi_sws_plv
PLV @ MPI-SWS
@mpi_sws_plv
11 years
Today we have a distinguished lecture from Hongseok Yang (U of Oxford): "How to find a good program abstraction automatically?".
0
0
0
@mpi_sws_plv
PLV @ MPI-SWS
@mpi_sws_plv
11 years
Hello world! Here we'll tweet work in programming languages & verification (PLV) at the Max Planck Institute for Software Systems (MPI-SWS).
0
0
1