Index of /jgross/Public/POPL

 Name                    Last modified       Size  Description

 Parent Directory        07-Oct-2023 15:10      -  
 GROSS.png               31-Dec-1969 19:00      -  
 GROSS_cropped.png       31-Dec-1969 19:00      -  
 GROSS_face_only.png     31-Dec-1969 19:00      -  
 jgross-student-talk.pdf 31-Dec-1969 19:00      -  
 jgross-student-talk.tex 31-Dec-1969 19:00      -  
 minute-madness.pdf      31-Dec-1969 19:00      -  
 minute-madness.tex      31-Dec-1969 19:00      -