Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Paweł T. Wojciechowski
Typed First-Class Communication Channels and Mobility for Concurrent Scripting Languages
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages
Fast Type Reconstruction for Dynamically Typed Programming Languages
Mobility as a First Class Function
Run-Time Support for Distributed Sharing in Typed Languages
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Type-Directed Weaving of Aspects for Polymorphically Typed Functional Languages
Science of Computer Programming
Software
A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Termination in Impure Concurrent Languages
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
"May You Have a Strong (-Typed) Foundation" Why Strong-Typed Programming Languages Do Matter
Campaigns, Political Mobility, and Communication
Public Choice
Sociology
Economics
Econometrics
Political Science
