Search this site
Skip to main content
Skip to navigation
typetheorywithrecords
TTR
Courses and seminar series
Type Theory with Records: From perception to communication
Drafts
Notes
Publications
Slides
Software
typetheorywithrecords
Notes
Larsson, Staffan (1998): A Prolog Type Checker for Dependent Record Types (
ps
,
prolog code
)
Google Sites
Report abuse
Page details
Page updated
Google Sites
Report abuse