Typed Lambda Calculi and Applications
From MaRDI portal
Publication:5704008
DOI10.1007/b135690zbMath1114.68029OpenAlexW2501230561MaRDI QIDQ5704008
François Pottier, Roberto Di Cosmo, Didier Rémy
Publication date: 11 November 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b135690
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Functional programming and lambda calculus (68N18)
Related Items
Typed path polymorphism, Type soundness for path polymorphism, Skalpel: a type error slicer for standard ML, Unnamed Item