Back to Results
First PageMeta Content
Type theory / Logic in computer science / Lambda calculus / Dependently typed programming / Subroutines / Combinatory logic / Higher-order abstract syntax / Twelf / Dependent type / Parameter / Logical framework / Fixed-point combinator


Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. System Description: Delphin – A Functional Programming Language for Ded
Add to Reading List

Document Date: 2008-06-03 10:17:56


Open Document

File Size: 155,58 KB

Share Result on Facebook