Adam Poswolsky

According to our database, Adam Poswolsky authored at least 3 papers between 2005 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2008

System Description: Delphin - A Functional Programming Language for Deductive Systems.

Adam Poswolsky, Carsten Schürmann

Proceedings of the International Workshop on Logical Frameworks and Metalanguages: Theory and Practice, 2008

Practical Programming with Higher-Order Encodings and Dependent Types.

Adam Poswolsky, Carsten Schürmann

Proceedings of the Programming Languages and Systems, 2008

2005

The [triangle]-Calculus. Functional Programming with Higher-Order Encodings.

Carsten Schürmann, Adam Poswolsky, Jeffrey Sarnat

Proceedings of the Typed Lambda Calculi and Applications, 7th International Conference, 2005