↧
Image may be NSFW.
Clik here to view.
Clik here to view.
Frege Programming Language
”What is Frege? Frege is a non-strict, pure functional programming language in the spirit of Haskell. It enjoys a strong static type system with type inference. Higher rank types are supported, though...
View Article
Image may be NSFW.
Clik here to view.
Clik here to view.
Shen
”Shen is a portable functional programming language that offers pattern matching, λ calculus consistency, macros, optional lazy evaluation, static type checking, an integrated fully functional Prolog,...
View Article
Image may be NSFW.
Clik here to view.
Clik here to view.
New draft: Implementation of a General Purpose Programming Language with...
New draft: Implementation of a General Purpose Programming Language with Dependent Types « Edwin Brady. Abstract: ”Many components of a dependently typed programming language are by now well...
View Article