Back to Results
First PageMeta Content
Procedural programming languages / Subroutines / Functional languages / Models of computation / ML / Named parameter / Caml / Lambda calculus / ALGOL 68 / Software engineering / Computing / Programming language theory


Labeled and optional arguments for Objective Caml∗ Jacques Garrigue† Abstract We added labeled and optional arguments to the Objective Caml language, combining currying and commutation. Contrary to a previous attempt
Add to Reading List

Document Date: 2011-11-23 03:22:14

Open Document

File Size: 205,99 KB

Share Result on Facebook

City

KYOTO / Reading / /

/

Event

Person Communication and Meetings / /

Facility

Research Institute / Kyoto University / /

IndustryTerm

partial inference algorithm / function applications / universal solution / call site / machinery / type inference algorithm / Partial applications / partial algorithm / out-of-order applications / /

Organization

Institute for Mathematical Sciences / eta / Kyoto University / Ministry of Education / /

Person

Laurent Dami / Jun Furuse / Henry Ledgard / Damien Doligez / Jacques Garrigue / John Lamping / David Robson / Adele Goldberg / Xavier Leroy / Guy L. Steele / Jun P. Furuse / Pierre Weis / /

Position

Objective Caml interpreter / evaluator / researcher / /

ProgrammingLanguage

Tcl / Ada / Objective Caml / Smalltalk-80 / Lisp / Common LISP / ML / /

ProvinceOrState

Massachusetts / /

PublishedMedium

Theoretical Computer Science / /

Technology

Functional Programming / straightforward 4 partial inference algorithm / partial algorithm / partial inference algorithm / type inference algorithm / /

URL

http /

SocialTag