MLton

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

Abbreviations

  • ACSD = International Conference on Application of Concurrency to System Design

  • BABEL = Workshop on multi-language infrastructure and interoperability

  • CC = International Conference on Compiler Construction

  • DPCOOL = Workshop on Declarative Programming in the Context of OO Languages

  • ESOP = European Symposium on Programming

  • FLOPS = Symposium on Functional and Logic Programming

  • FPCA = Conference on Functional Programming Languages and Computer Architecture

  • HOPL = History of Programming Languages

  • HOSC = Higher-Order and Symbolic Computation

  • IC = Information and Computation

  • ICCL = IEEE International Conference on Computer Languages

  • ICFP = International Conference on Functional Programming

  • IFL = International Workshop on Implementation and Application of Functional Languages

  • IVME = Workshop on Interpreters, Virtual Machines and Emulators

  • JFLA = Journees Francophones des Langages Applicatifs

  • JFP = Journal of Functional Programming

  • LASC = Lisp and Symbolic Computation

  • LFP = Lisp and Functional Programming

  • ML = Workshop on ML

  • PLDI = Conference on Programming Language Design and Implementation

  • POPL = Symposium on Principles of Programming Languages

  • PPDP = International Conference on Principles and Practice of Declarative Programming

  • PPoPP = Principles and Practice of Parallel Programming

  • TCS = IFIP International Conference on Theoretical Computer Science

  • TIC = Types in Compilation

  • TLDI = Workshop on Types in Language Design and Implementation

  • TOPLAS = Transactions on Programming Languages and Systems

  • TPHOLs = International Conference on Theorem Proving in Higher Order Logics