Back to Results
First PageMeta Content
Functional languages / Procedural programming languages / Logic in computer science / Isabelle / ML / OCaml / Lawrence Paulson / Logic for Computable Functions / Programming language / Software engineering / Computing / Computer programming


Document Date: 2014-08-27 06:04:04

Open Document

File Size: 1,05 MB

Share Result on Facebook

City

Reading / /

Facility

Rob Pike / /

IndustryTerm

pretty printing / clues on implementing applications / search tacticals / software houses / /

OperatingSystem

UNIX / /

Person

Stefan Berghofer / Lawrence C. Paulson / Larry Paulson / Brian W. Kernighan / Alan Kay Contents / Florian Haftmann / /

Position

single author / theory and proof interpreter / General / /

ProgrammingLanguage

ML / /

Technology

html / shared memory / UNIX / /

URL

http /

SocialTag